Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SelfConnectedObject
SelfConnectedObject(self connected object)A-horizon, A_horizon, B-horizon, B_horizon, C-horizon, C_horizon, absorbate, absorbent, absorbent_material, absorber, acrylic, acrylic_fiber, adsorbate, adsorbent, adsorbent_material, ball, bar, bed, belay, belting, black_body, blackbody, blade, blank, bodied, body, bog_soil, broken, building_material, cannel_coal, chunk, cinder, clinker, clod, clump, coal, coal_seam, coalface, continuum, crash_barrier, debris, detritus, diamagnet, diapir, drift, drumlin, dust, ember, faced, feedstock...

appearance as argument number 1
-------------------------


s__documentation(s__SelfConnectedObject,s__ChineseLanguage,' SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。')

Merge.kif 900-901
s__documentation(s__SelfConnectedObject,s__EnglishLanguage,'A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.')

Merge.kif 898-899
s__instance(s__Object,s__SetOrClass)

s__subclass(s__SelfConnectedObject,s__Object)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Merge.kif 897-897 Self connected object is a subclass of object

appearance as argument number 2
-------------------------


s__disjoint(s__Collection,s__SelfConnectedObject)

Merge.kif 1295-1295 Collection is disjoint from self connected object
s__range(s__BackFn__m,s__SelfConnectedObject)

Merge.kif 945-945 The range of back is an instance of self connected object
s__range(s__FrontFn__m,s__SelfConnectedObject)

Merge.kif 919-919 The range of front is an instance of self connected object
s__rangeSubclass(s__FoodForFn__m,s__SelfConnectedObject)

Merge.kif 14995-14995 The values returned by FoodForFn are subclasses of self connected object
s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__BodyOfWater,s__SelfConnectedObject)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Geography.kif 4235-4235 Body of water is a subclass of self connected object
s__instance(s__CorpuscularObject,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

s__subclass(s__CorpuscularObject,s__SelfConnectedObject)

Merge.kif 1260-1260 Corpuscular object is a subclass of self connected object
s__subclass(s__Food,s__SelfConnectedObject)

s__instance(s__Food,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Merge.kif 15013-15013 Food is a subclass of self connected object
s__subclass(s__Iceberg,s__SelfConnectedObject)

s__instance(s__Iceberg,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Weather.kif 890-890 Iceberg is a subclass of self connected object
s__subclass(s__Meat,s__SelfConnectedObject)

s__instance(s__Meat,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Merge.kif 15015-15015 Meat is a subclass of self connected object
s__instance(s__OrganicThing,s__SetOrClass)

s__subclass(s__OrganicThing,s__SelfConnectedObject)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Merge.kif 903-903 OrganicThing is a subclass of self connected object
s__subclass(s__Ramp,s__SelfConnectedObject)

s__instance(s__Ramp,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Mid-level-ontology.kif 2822-2822 Ramp is a subclass of self connected object
s__subclass(s__ShipContainer,s__SelfConnectedObject)

s__instance(s__ShipContainer,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Transportation.kif 2515-2515 Ship container is a subclass of self connected object
s__instance(s__Substance,s__SetOrClass)

s__subclass(s__Substance,s__SelfConnectedObject)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Merge.kif 1065-1065 Substance is a subclass of self connected object
s__subclass(s__Transitway,s__SelfConnectedObject)

s__instance(s__Transitway,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Merge.kif 14301-14301 Transitway is a subclass of self connected object
s__termFormat(s__ChineseLanguage,s__SelfConnectedObject,'自身连接物体')

chinese_format.kif 816-816 "自身连接物体" is the printable form of self connected object in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__SelfConnectedObject,'self connected object')

english_format.kif 509-509 "self connected object" is the printable form of self connected object in english language
s__termFormat(s__JapaneseLanguage,s__SelfConnectedObject,'自己接続オブジェクト')

english_format.kif 510-510 "自己接続オブジェクト" is the printable form of self connected object in japanese language

appearance as argument number 3
-------------------------


s__domain(s__BackFn__m,1,s__SelfConnectedObject)

Merge.kif 944-944 The number 1 argument of back is an instance of self connected object
s__domain(s__FrontFn__m,1,s__SelfConnectedObject)

Merge.kif 918-918 The number 1 argument of front is an instance of self connected object
s__domain(s__approximateDiameter__m,1,s__SelfConnectedObject)

Mid-level-ontology.kif 15645-15645 The number 1 argument of approximate diameter is an instance of self connected object
s__domain(s__bottom__m,1,s__SelfConnectedObject)

Merge.kif 9724-9724 The number 1 argument of bottom is an instance of self connected object
s__domain(s__bottom__m,2,s__SelfConnectedObject)

Merge.kif 9725-9725 The number 2 argument of bottom is an instance of self connected object
s__domain(s__capacity__m,1,s__SelfConnectedObject)

Mid-level-ontology.kif 6315-6315 The number 1 argument of capacity is an instance of self connected object
s__domain(s__contains__m,1,s__SelfConnectedObject)

Merge.kif 1046-1046 The number 1 argument of contains is an instance of self connected object
s__domain(s__height__m,1,s__SelfConnectedObject)

Merge.kif 7787-7787 The number 1 argument of height is an instance of self connected object
s__domain(s__hole__m,2,s__SelfConnectedObject)

Merge.kif 9868-9868 The number 2 argument of hole is an instance of self connected object
s__domain(s__memberAtTime__m,1,s__SelfConnectedObject)

Mid-level-ontology.kif 20573-20573 The number 1 argument of member at time is an instance of self connected object
s__domain(s__onboard__m,1,s__SelfConnectedObject)

Mid-level-ontology.kif 14960-14960 The number 1 argument of onboard is an instance of self connected object
s__domain(s__side__m,1,s__SelfConnectedObject)

Merge.kif 9756-9756 The number 1 argument of side is an instance of self connected object
s__domain(s__side__m,2,s__SelfConnectedObject)

Merge.kif 9757-9757 The number 2 argument of side is an instance of self connected object
s__domain(s__surface__m,1,s__SelfConnectedObject)

Merge.kif 9688-9688 The number 1 argument of surface is an instance of self connected object
s__domain(s__surface__m,2,s__SelfConnectedObject)

Merge.kif 9689-9689 The number 2 argument of surface is an instance of self connected object
s__domain(s__top__m,1,s__SelfConnectedObject)

Merge.kif 9740-9740 The number 1 argument of top is an instance of self connected object
s__domain(s__top__m,2,s__SelfConnectedObject)

Merge.kif 9741-9741 The number 2 argument of top is an instance of self connected object
s__domain(s__weight__m,1,s__SelfConnectedObject)

Merge.kif 7559-7559 The number 1 argument of weight is an instance of self connected object
s__domainSubclass(s__ingredient__m,1,s__SelfConnectedObject)

Food.kif 99-99 The number 1 argument of ingredient is a subclass of self connected object
s__domainSubclass(s__ingredientAmount__m,1,s__SelfConnectedObject)

Food.kif 117-117 The number 1 argument of amount of ingredient is a subclass of self connected object
s__domainSubclass(s__ingredientAmount__m,2,s__SelfConnectedObject)

Food.kif 118-118 The number 2 argument of amount of ingredient is a subclass of self connected object
s__domainSubclass(s__trafficableForTrafficType__m,2,s__SelfConnectedObject)

Transportation.kif 2546-2546 The number 2 argument of trafficable for traffic type is a subclass of self connected object
s__domainSubclass(s__transitwayCapacityCount__m,2,s__SelfConnectedObject)

Transportation.kif 2980-2980 The number 2 argument of transitway capacity count is a subclass of self connected object
s__domainSubclass(s__transitwayCapacityRate__m,2,s__SelfConnectedObject)

Transportation.kif 2990-2990 The number 2 argument of transitway capacity rate is a subclass of self connected object

antecedent
-------------------------


( ! [V__OBJ] :
   (s__instance(V__OBJ,s__SelfConnectedObject)s__<=>
    (s__forall__m[V__PART1,V__PART2] :
       ((s__instance(V__PART1,s__Object)s__and__ms__instance(V__PART2,s__Object))
        s__=>((V__OBJs__equal__ms__MereologicalSumFn(V__PART1,V__PART2))
        s__=>s__connected(V__PART1,V__PART2)))))
)

Merge.kif 9545-9550 An object is an instance of self connected object if and only if for all another object and a third object
No TPTP formula. May not be expressible in strict first order. Cars.kif 1973-1985
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 143-168
( ! [V__COLL1,V__COLL2,V__COLL3,V__COLL4,V__MEMBER] :
   ((s__instance(V__COLL1,s__Collection)s__and__ms__instance(V__COLL2,s__Collection))
    s__=>((s__meceCollection(V__COLL1,V__COLL2)
      s__and__ms__instance(V__COLL3,s__Collection)s__and__ms__instance(V__COLL4,s__Collection)s__and__ms__instance(V__MEMBER,s__SelfConnectedObject)s__and__ms__member(V__MEMBER,V__COLL1)
    s__and__ms__member(V__COLL3,V__COLL2)
  s__and__ms__member(V__COLL4,V__COLL2)
s__and__m(s__not__m(V__COLL3s__equal__mV__COLL4)))
s__=>(s__not__m(s__member(V__MEMBER,V__COLL3)
s__and__ms__member(V__MEMBER,V__COLL4)))))
)

UXExperimentalTerms.kif 4829-4843
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   ((s__instance(V__COLL1,s__Collection)s__and__ms__instance(V__COLL2,s__Collection))
    s__=>((s__meceCollection(V__COLL1,V__COLL2)
      s__and__ms__member(V__MEMBER,V__COLL1)
    s__and__ms__instance(V__MEMBER,s__SelfConnectedObject))
  s__=>(s__exists__m[V__COLL3] :
     (s__instance(V__COLL3,s__Collection)s__and__ms__member(V__MEMBER,V__COLL3)
    s__and__ms__member(V__COLL3,V__COLL2)))))
)

UXExperimentalTerms.kif 4818-4827
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   ((s__instance(V__COLL1,s__Collection)s__and__ms__instance(V__COLL2,s__Collection))
    s__=>((s__meceCollection(V__COLL1,V__COLL2)
      s__and__ms__member(V__MEMBER,V__COLL2)
    s__and__ms__instance(V__MEMBER,s__SelfConnectedObject))
  s__=>s__instance(V__MEMBER,s__Collection)))
)

UXExperimentalTerms.kif 4811-4816
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__SelfConnectedObject)s__=>s__side(s__BackFn(V__OBJ)
  ,V__OBJ))
)

Merge.kif 960-962
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__SelfConnectedObject)s__=>s__side(s__FrontFn(V__OBJ)
  ,V__OBJ))
)

Merge.kif 935-937

consequent
-------------------------


( ! [V__P1,V__P2,V__X,V__PM] :
   ((s__instance(V__P1,s__UnitOfMeasure)s__and__ms__instance(V__P2,s__UnitOfMeasure)s__and__ms__instance(V__X,s__Object)s__and__ms__instance(V__PM,s__RealNumber))
    s__=>(s__attribute(V__X,s__PartialVacuum)s__=>(s__exists__m[V__O,V__G] :
         (s__instance(V__O,s__SelfConnectedObject)s__and__ms__instance(V__G,s__Region)s__and__m(s__not__m(V__Gs__equal__mV__X))
        s__and__ms__connected(V__X,V__O)
      s__and__ms__connected(V__G,V__O)
    s__and__ms__measure(V__G,s__MeasureFn(V__PM,V__P1))
s__and__ms__measure(V__X,s__MeasureFn(V__PM,V__P2))
s__and__ms__instance(V__PM,s__UnitOfAtmosphericPressure)s__and__ms__greaterThan(V__P1,V__P2)))))
)

Cars.kif 383-396
( ! [V__P1,V__P2,V__X,V__PM] :
   ((s__instance(V__P1,s__UnitOfMeasure)s__and__ms__instance(V__P2,s__UnitOfMeasure)s__and__ms__instance(V__X,s__Object)s__and__ms__instance(V__PM,s__RealNumber))
    s__=>(s__attribute(V__X,s__Pressurized)s__=>(s__exists__m[V__O,V__G] :
         (s__instance(V__O,s__SelfConnectedObject)s__and__ms__instance(V__G,s__Region)s__and__m(s__not__m(V__Gs__equal__mV__X))
        s__and__ms__connected(V__X,V__O)
      s__and__ms__connected(V__G,V__O)
    s__and__ms__measure(V__G,s__MeasureFn(V__PM,V__P1))
s__and__ms__measure(V__X,s__MeasureFn(V__PM,V__P2))
s__and__ms__instance(V__PM,s__UnitOfAtmosphericPressure)s__and__ms__greaterThan(V__P2,V__P1)))))
)

Cars.kif 403-416
( ! [V__COMBINE] :
   (s__instance(V__COMBINE,s__Combining)s__=>(s__exists__m[V__OBJ] :
       (s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__patient(V__COMBINE,V__OBJ))))
)

Merge.kif 12385-12390
( ! [V__LABEL] :
   (s__instance(V__LABEL,s__Label)s__=>(s__exists__m[V__OBJ] :
       (s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__connected(V__LABEL,V__OBJ)
      s__and__ms__refers(V__LABEL,V__OBJ))))
)

Mid-level-ontology.kif 12186-12192
( ! [V__SEPARATE] :
   (s__instance(V__SEPARATE,s__Separating)s__=>(s__exists__m[V__OBJ] :
       (s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__patient(V__SEPARATE,V__OBJ))))
)

Merge.kif 12404-12409


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners