zi4 shen1 lian2 xu4 wu4 ti1 (SelfConnectedObject)

A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

Subclass(es)

wu4 zhi4 fu4 za2 ti1/fei1 dan1 zhi4 ti1 na4 rong2 zai4 ti3 shi2 wu4

Coordinate term(s)

shi1 shi4 zhe3 qun2 ji2 qu1 yu4

Constrains relations

fan3 mian4 han2 shu4 zheng4 mian4 han2 shu4 di3 bu4 xiang1 lian2 gao1 du4 dong4 cheng2 yuan2 ce4 mian4 biao3 mian4 ding3 duan1

Related WordNet synsets

body: an individual 3-dimensional object that has mass and that is distinguishable from other objects; "heavenly body"

See more related synsets on a separate page.

Axioms (5)

If obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4, then "obj de5 zheng4 mian4" shi4 obj de5 bu4 fen5).

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (FrontFn ?OBJ)
            ?OBJ))

If obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4, then "obj de5 fan3 mian4" shi4 obj de5 bu4 fen5).

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (BackFn ?OBJ)
            ?OBJ))

qun2 ji2 wu2 jiao1 ji2 yu1 zi4 shen1 lian2 xu4 wu4 ti1.

(disjoint Collection SelfConnectedObject)

obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4 if and only if for all part1,part2 holds: if obj deng3 yu1 "part1 he2 part2 de5 lian2 ji2", then part1 yu3 part2 xiang1 lian2.

(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))

If obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4, then ke3 bian4 xing2 de5 shi4 obj de5 shu3 xing4 or bu2 yi4 wan1 qu3 de5 shi4 obj de5 shu3 xing4.

(=>
      (instance ?OBJ SelfConnectedObject)
      (or
            (attribute ?OBJ Pliable)
            (attribute ?OBJ Rigid)))