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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contains
contains

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


s__disjointRelation(s__contains__m,s__part__m)

Merge.kif 946-946 contains and part are disjoint
s__documentation(s__contains__m,s__ChineseLanguage,'"这是两个可分离物体的空间容量关系。 用于不可分离的物体(如汽 车和它的座位)时,应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间(即一个 Hole),而它 至少由 ?OBJ2 填满了一部分。。"')

chinese_format.kif 1584-1586
s__documentation(s__contains__m,s__EnglishLanguage,'"The relation of spatial containment for two separable objects. When the two objects are not separable (e.g. an automobile and one of its seats), the relation of part should be used. (contains ?OBJ1 ?OBJ2) means that the SelfConnectedObject ?OBJ1 has a space (i.e. a Hole) which is at least partially filled by ?OBJ2."')

Merge.kif 950-954
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__contains__m,n__2,s__Object)

Merge.kif 948-948 The number 2 argument of contains is an instance of object
s__instance(s__AsymmetricRelation,s__Class)

s__instance(s__contains__m,s__AsymmetricRelation)

Merge.kif 943-943 contains is an instance of asymmetric relation
s__instance(s__contains__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 945-945 contains is an instance of binary predicate
s__instance(s__contains__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 944-944 contains is an instance of partial valued relation
s__instance(s__SpatialRelation,s__Class)

s__instance(s__contains__m,s__SpatialRelation)

Merge.kif 942-942 contains is an instance of spatial relation

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


s__format(s__ChineseLanguage,s__contains__m,'"%1 %n{doesnt} contains %2"')

chinese_format.kif 800-800
s__format(s__EnglishLanguage,s__contains__m,'"%1 %n{doesnt} contain%p{s} %2"')

english_format.kif 811-811
s__format(s__JapaneseLanguage,s__contains__m,'"%1 は %2 を contain%p{s} %n{ない}"')

english_format.kif 812-812
s__termFormat(s__ChineseLanguage,s__contains__m,'"包含"')

domainEnglishFormat.kif 16923-16923
s__termFormat(s__ChineseLanguage,s__contains__m,'"容纳"')

chinese_format.kif 801-801
s__termFormat(s__ChineseTraditionalLanguage,s__contains__m,'"包含"')

domainEnglishFormat.kif 16922-16922
s__termFormat(s__EnglishLanguage,s__contains__m,'"contains"')

domainEnglishFormat.kif 16921-16921

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__contains(V__OBJ1,V__OBJ2)
           =>
           ( ? [V__HOLE] :
             ((s__instance(V__HOLE,s__Hole) &
                 (s__hole(V__HOLE,V__OBJ1)
                 &
                 s__properlyFills(V__OBJ2,V__HOLE))))))
     &
     (( ? [V__HOLE] :
         ((s__instance(V__HOLE,s__Hole) &
             (s__hole(V__HOLE,V__OBJ1)
             &
             s__properlyFills(V__OBJ2,V__HOLE)))))
   =>
   s__contains(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 956-961 A self connected object contains an object if and only if there exists a hole such that the hole is a hole in the self connected object and the object properly fills the hole
No TPTP formula. May not be expressible in strict first order. Music.kif 313-319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9212-9234
( ! [V__AS,V__C,V__F,V__H] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__AS,s__AutomobileShock) &
             s__instance(V__C,s__Compressing) &
             s__instance(V__H,s__Hole) &
             s__attribute(V__F,s__Fluid) &
             (V__AS = s__HoleHostFn(V__H))
           &
           s__contains(V__AS,V__F)
         &
         s__patient(V__C,V__AS))
     =>
     (( ? [V__T] :
         ((s__instance(V__T,s__Transfer) &
             s__objectTransferred(V__T,V__F)
           &
           s__path(V__T,V__H)
         &
         s__causes(V__C,V__T))))))))
)
)

Cars.kif 871-885
( ! [V__BOTTLE,V__STUFF] :
   ((s__instance(V__STUFF,s__Object) =>
       (((s__instance(V__BOTTLE,s__Bottle) &
             s__contains(V__BOTTLE,V__STUFF))
         =>
         (s__attribute(V__STUFF,s__Liquid)))))
   )
)

Mid-level-ontology.kif 4409-4413
No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
( ! [V__CUP,V__STUFF] :
   ((s__instance(V__STUFF,s__Object) =>
       (((s__instance(V__CUP,s__DrinkingCup) &
             s__contains(V__CUP,V__STUFF))
         =>
         (s__instance(V__STUFF,s__Beverage)))))
   )
)

Mid-level-ontology.kif 4432-4436
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
( ! [V__P,V__F] :
   (((s__instance(V__P,s__SwimmingPool) &
         s__contains(V__P,V__F)
       &
       s__instance(V__F,s__Fluid))
     =>
     (s__instance(V__F,s__Water)))
   )
)

Mid-level-ontology.kif 4451-4456
( ! [V__TANK,V__STUFF] :
   ((s__instance(V__STUFF,s__Object) =>
       (((s__instance(V__TANK,s__FluidContainer) &
             s__contains(V__TANK,V__STUFF))
         =>
         (s__attribute(V__STUFF,s__Fluid)))))
   )
)

Mid-level-ontology.kif 4399-4403
( ! [V__WATER,V__X,V__HEATER] :
   (((s__instance(V__X,s__HeatedPool) &
         s__contains(V__X,V__WATER)
       &
       s__instance(V__WATER,s__Water) &
       s__part(V__X,V__HEATER)
     &
     s__instance(V__HEATER,s__WaterHeater) &
     s__attribute(V__HEATER,s__DeviceOn))
   =>
   (s__attribute(V__WATER,s__WarmTemperature)))
)
)

Mid-level-ontology.kif 25848-25856
( ! [V__MEAS,V__OBJ1,V__OBJ2] :
   (((s__instance(V__MEAS,s__ConstantQuantity) &
         s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__SelfConnectedObject))
       =>
       (((s__measure(V__OBJ1,V__MEAS)
           &
           s__contains(V__OBJ2,V__OBJ1))
       =>
       (s__capacity(V__OBJ2,V__MEAS)))))
)
)

Mid-level-ontology.kif 6327-6331
( ! [V__BIG,V__SMALL] :
   (((s__instance(V__BIG,s__Object) &
         s__instance(V__SMALL,s__SelfConnectedObject))
       =>
       ((s__contains(V__SMALL,V__BIG)
         =>
         (s__partlyLocated(V__SMALL,V__BIG)))))
)
)

Merge.kif 938-940

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29863-29874
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. engineering.kif 938-951
No TPTP formula. May not be expressible in strict first order. Merge.kif 10930-10937
( ! [V__RC,V__P,V__H] :
   (((s__instance(V__RC,s__RibCage) &
         s__part(V__RC,V__H)
       &
       s__instance(V__H,s__Human) &
       s__attribute(V__H,s__Living) &
       ~((s__instance(V__P,s__PathologicProcess) &
           s__located(V__P,V__H))))
   =>
   (( ? [V__HT, V__LG] :
       ((s__instance(V__LG,s__Object) &
           (s__instance(V__HT,s__Heart) &
             s__instance(V__HT,s__Lung) &
             s__contains(V__RC,V__LG)
           &
           s__contains(V__RC,V__HT)))))))
)
)

Mid-level-ontology.kif 10514-10529
No TPTP formula. May not be expressible in strict first order. WMD.kif 1059-1069
( ! [V__T,V__H] :
   ((s__instance(V__H,s__Animal) =>
       (((s__wears(V__H,V__T)
           &
           s__instance(V__T,s__Trousers))
         =>
         (( ? [V__L] :
             ((s__instance(V__L,s__Leg) &
                 s__part(V__L,V__H)
               &
               s__contains(V__T,V__L))))))))
)
)

Mid-level-ontology.kif 4868-4876
( ! [V__P,V__S] :
   ((s__instance(V__P,s__Animal) =>
       (((s__wears(V__P,V__S)
           &
           s__instance(V__S,s__Sleeve))
         =>
         (( ? [V__A] :
             ((s__instance(V__A,s__Arm) &
                 s__part(V__A,V__P)
               &
               s__contains(V__S,V__A))))))))
)
)

Mid-level-ontology.kif 4972-4980
( ! [V__P,V__S] :
   ((s__instance(V__P,s__Animal) =>
       (((s__wears(V__P,V__S)
           &
           s__instance(V__S,s__Sock))
         =>
         (( ? [V__F] :
             ((s__instance(V__F,s__Foot) &
                 s__part(V__F,V__P)
               &
               s__contains(V__S,V__F))))))))
)
)

Mid-level-ontology.kif 4946-4954
( ! [V__P,V__T] :
   ((s__instance(V__P,s__Animal) =>
       (((s__wears(V__P,V__T)
           &
           s__instance(V__T,s__TieClothing))
         =>
         (( ? [V__N] :
             ((s__instance(V__N,s__Neck) &
                 s__part(V__N,V__P)
               &
               s__contains(V__T,V__N))))))))
)
)

Mid-level-ontology.kif 4785-4793
( ! [V__X] :
   ((s__instance(V__X,s__CorpuscularObject) =>
       ((s__attribute(V__X,s__WaterBed) =>
           (( ? [V__MATTRESS, V__WATER] :
               ((s__instance(V__MATTRESS,s__CorpuscularObject) &
                   (s__component(V__MATTRESS,V__X)
                   &
                   s__contains(V__MATTRESS,V__WATER)
                 &
                 s__instance(V__WATER,s__Water)))))))))
)
)

Mid-level-ontology.kif 3988-3994
No TPTP formula. May not be expressible in strict first order. Cars.kif 965-971
No TPTP formula. May not be expressible in strict first order. Cars.kif 3597-3603
( ! [V__B] :
   ((s__instance(V__B,s__Bloating) =>
       (( ? [V__P, V__S, V__I, V__G] :
           ((s__instance(V__P,s__Agent) &
               (s__experiencer(V__B,V__P)
               &
               s__instance(V__G,s__Gas) &
               ((s__part(V__I,V__P)
                 &
                 s__instance(V__I,s__Intestine) &
                 s__contains(V__I,V__G))
             |
             (s__part(V__S,V__P)
             &
             s__instance(V__S,s__Stomach) &
             s__contains(V__S,V__G)))))))))
)
)

Mid-level-ontology.kif 6104-6118
No TPTP formula. May not be expressible in strict first order. Cars.kif 1519-1529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4334-4343
( ! [V__C] :
   ((s__instance(V__C,s__SpinalCord) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__SpinalColumn) &
               s__contains(V__S,V__C))))))
   )
)

Mid-level-ontology.kif 10230-10235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4323-4325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9342-9355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28551-28559
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14643-14649
No TPTP formula. May not be expressible in strict first order. Cars.kif 1000-1011
No TPTP formula. May not be expressible in strict first order. Cars.kif 992-998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1596-1602

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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