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。"')

chinese_format.kif 1555-1556
s__documentation(s__SelfConnectedObject,s__EnglishLanguage,'"A SelfConnectedObject is any Object that does not consist of two or more disconnected parts."')

Merge.kif 821-822
s__instance(s__Object,s__SetOrClass)

s__subclass(s__SelfConnectedObject,s__Object)

s__instance(s__SelfConnectedObject,s__SetOrClass)

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

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


s__disjoint(s__Collection,s__SelfConnectedObject)

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

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

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

Merge.kif 13785-13785 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 4248-4248 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 1126-1126 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 13800-13800 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 967-967 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 13802-13802 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 824-824 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 2817-2817 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 2552-2552 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 960-960 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 13218-13218 Transitway is a subclass of self connected object
s__termFormat(s__ChineseLanguage,s__SelfConnectedObject,'"自身连接物体"')

chinese_format.kif 816-816
s__termFormat(s__EnglishLanguage,s__SelfConnectedObject,'"self connected object"')

english_format.kif 839-839

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


s__domain(s__BackFn__m,n__1,s__SelfConnectedObject)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__SelfConnectedObject) =>
       ( ! [V__PART1, V__PART2] :
         ((s__instance(V__PART1,s__Object) &
             s__instance(V__PART2,s__Object))
           =>
           (V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2))
         =>
         s__connected(V__PART1,V__PART2))))
&
(( ! [V__PART1, V__PART2] :
     ((s__instance(V__PART1,s__Object) &
         s__instance(V__PART2,s__Object))
       =>
       (V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2))
     =>
     s__connected(V__PART1,V__PART2)))
=>
s__instance(V__OBJ,s__SelfConnectedObject))
)
)

Merge.kif 8924-8929 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 1974-1986
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
( ! [V__COLL1,V__COLL2,V__MEMBER,V__COLL3,V__COLL4] :
   ((s__instance(V__COLL1,s__Collection) &
       s__instance(V__COLL2,s__Collection))
     =>
     (s__meceCollection(V__COLL1,V__COLL2)
     &
     s__instance(V__COLL3,s__Collection) &
     s__instance(V__COLL4,s__Collection) &
     s__instance(V__MEMBER,s__SelfConnectedObject) &
     s__member(V__MEMBER,V__COLL1)
   &
   s__member(V__COLL3,V__COLL2)
&
s__member(V__COLL4,V__COLL2)
&
~((V__COLL3 = V__COLL4)))
=>
~((s__member(V__MEMBER,V__COLL3)
&
s__member(V__MEMBER,V__COLL4)))
)
)

UXExperimentalTerms.kif 4836-4850
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   ((s__instance(V__COLL1,s__Collection) &
       s__instance(V__COLL2,s__Collection))
     =>
     (s__meceCollection(V__COLL1,V__COLL2)
     &
     s__member(V__MEMBER,V__COLL1)
   &
   s__instance(V__MEMBER,s__SelfConnectedObject))
=>
( ? [V__COLL3] :
   ((s__instance(V__COLL3,s__Collection) &
       s__member(V__MEMBER,V__COLL3)
     &
     s__member(V__COLL3,V__COLL2))))
)
)

UXExperimentalTerms.kif 4825-4834
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   ((s__instance(V__COLL1,s__Collection) &
       s__instance(V__COLL2,s__Collection))
     =>
     (s__meceCollection(V__COLL1,V__COLL2)
     &
     s__member(V__MEMBER,V__COLL2)
   &
   s__instance(V__MEMBER,s__SelfConnectedObject))
=>
s__instance(V__MEMBER,s__Collection) )
)

UXExperimentalTerms.kif 4818-4823
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__SelfConnectedObject) =>
     s__side(s__BackFn(V__OBJ)
  ,V__OBJ)
)
)

Merge.kif 867-869
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__SelfConnectedObject) =>
     s__side(s__FrontFn(V__OBJ)
  ,V__OBJ)
)
)

Merge.kif 848-850

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


( ! [V__P1,V__P2,V__X,V__PM] :
   ((s__instance(V__P1,s__UnitOfMeasure) &
       s__instance(V__P2,s__UnitOfMeasure) &
       s__instance(V__X,s__Object) &
       s__instance(V__PM,s__RealNumber))
     =>
     s__attribute(V__X,s__PartialVacuum) =>
     ( ? [V__O, V__G] :
       ((s__instance(V__O,s__SelfConnectedObject) &
           s__instance(V__G,s__Region) &
           ~((V__G = V__X))
           &
           s__connected(V__X,V__O)
         &
         s__connected(V__G,V__O)
       &
       s__measure(V__G,s__MeasureFn(V__PM,V__P1))
   &
   s__measure(V__X,s__MeasureFn(V__PM,V__P2))
&
s__instance(V__PM,s__UnitOfAtmosphericPressure) &
s__greaterThan(V__P1,V__P2))))
)
)

Cars.kif 383-396
( ! [V__P1,V__P2,V__X,V__PM] :
   ((s__instance(V__P1,s__UnitOfMeasure) &
       s__instance(V__P2,s__UnitOfMeasure) &
       s__instance(V__X,s__Object) &
       s__instance(V__PM,s__RealNumber))
     =>
     s__attribute(V__X,s__Pressurized) =>
     ( ? [V__O, V__G] :
       ((s__instance(V__O,s__SelfConnectedObject) &
           s__instance(V__G,s__Region) &
           ~((V__G = V__X))
           &
           s__connected(V__X,V__O)
         &
         s__connected(V__G,V__O)
       &
       s__measure(V__G,s__MeasureFn(V__PM,V__P1))
   &
   s__measure(V__X,s__MeasureFn(V__PM,V__P2))
&
s__instance(V__PM,s__UnitOfAtmosphericPressure) &
s__greaterThan(V__P2,V__P1))))
)
)

Cars.kif 403-416
( ! [V__COMBINE] :
   (s__instance(V__COMBINE,s__Combining) =>
     ( ? [V__OBJ] :
       ((s__instance(V__OBJ,s__SelfConnectedObject) &
           s__patient(V__COMBINE,V__OBJ))))
   )
)

Merge.kif 11529-11534
( ! [V__LABEL] :
   (s__instance(V__LABEL,s__Label) =>
     ( ? [V__OBJ] :
       ((s__instance(V__OBJ,s__SelfConnectedObject) &
           s__connected(V__LABEL,V__OBJ)
         &
         s__refers(V__LABEL,V__OBJ))))
)
)

Mid-level-ontology.kif 12186-12192
( ! [V__SEPARATE] :
   (s__instance(V__SEPARATE,s__Separating) =>
     ( ? [V__OBJ] :
       ((s__instance(V__OBJ,s__SelfConnectedObject) &
           s__patient(V__SEPARATE,V__OBJ))))
   )
)

Merge.kif 11545-11550


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