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 822-823
s__instance(s__Object,s__SetOrClass)

s__subclass(s__SelfConnectedObject,s__Object)

s__instance(s__SelfConnectedObject,s__SetOrClass)

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

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


s__disjoint(s__Collection,s__SelfConnectedObject)

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

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

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

Merge.kif 14162-14162 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 4307-4307 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 1129-1129 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 14177-14177 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)

Geography.kif 4517-4517 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 14179-14179 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 825-825 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 2297-2297 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 2581-2581 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 963-963 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 13595-13595 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 856-856 The number 1 argument of back is an instance of self connected object
s__domain(s__FrontFn__m,n__1,s__SelfConnectedObject)

Merge.kif 836-836 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 16397-16397 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 9280-9280 The number 1 argument of bottom is an instance of self connected object
s__domain(s__bottom__m,n__2,s__SelfConnectedObject)

Merge.kif 9281-9281 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 6167-6167 The number 1 argument of capacity is an instance of self connected object
s__domain(s__contains__m,n__1,s__SelfConnectedObject)

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

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

Merge.kif 9418-9418 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 21170-21170 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 15882-15882 The number 1 argument of onboard is an instance of self connected object
s__domain(s__side__m,n__1,s__SelfConnectedObject)

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

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

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

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

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

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

Merge.kif 7037-7037 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 2612-2612 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 3043-3043 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 3053-3053 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 9109-9114 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 2001-2013
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 4839-4853
( ! [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 4828-4837
( ! [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 4821-4826
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__SelfConnectedObject) =>
       (s__side(s__BackFn(V__OBJ)
      ,V__OBJ)))
)
)

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

Merge.kif 849-851

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


( ! [V__P1,V__P2,V__X,V__PM] :
   (((s__instance(V__P1,s__RealNumber) &
         s__instance(V__P2,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__PM,s__UnitOfMeasure))
       =>
       ((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__P1,V__PM))
           &
           s__measure(V__X,s__MeasureFn(V__P2,V__PM))
       &
       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__RealNumber) &
         s__instance(V__P2,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__PM,s__UnitOfMeasure))
       =>
       ((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__P1,V__PM))
           &
           s__measure(V__X,s__MeasureFn(V__P2,V__PM))
       &
       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 11853-11858
( ! [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 13058-13064
( ! [V__SEPARATE] :
   ((s__instance(V__SEPARATE,s__Separating) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__SelfConnectedObject) &
               s__patient(V__SEPARATE,V__OBJ))))))
   )
)

Merge.kif 11869-11874


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 3.0 is open source software produced by Articulate Software and its partners