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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - wears
wears

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


s__documentation(s__wears__m,s__ChineseLanguage,'"(wears ?AGENT ?WI) 的意思是 ?AGENT 正穿着一件 ?WI 的 WearableItem。"')

chinese_format.kif 3616-3617
s__documentation(s__wears__m,s__EnglishLanguage,'"(wears ?AGENT ?WI) means that ?AGENT is wearing the WearableItem item ?WI."')

Merge.kif 14734-14735
s__domain(s__wears__m,n__1,s__Animal)

Merge.kif 14732-14732 The number 1 argument of wears is an instance of animal
s__domain(s__wears__m,n__2,s__WearableItem)

Merge.kif 14733-14733 The number 2 argument of wears is an instance of wearable item
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__wears__m,s__BinaryPredicate)

Merge.kif 14731-14731 wears is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__wears__m,'"%1 %n{doesnt} wears %2"')

chinese_format.kif 796-796
s__format(s__EnglishLanguage,s__wears__m,'"%1 %n{doesnt} wear%p{s} %2"')

english_format.kif 805-805
s__format(s__EnglishLanguage,s__wears__m,'"%1 は % を wear%p{s} %n{ない}"')

english_format.kif 806-806
s__termFormat(s__ChineseLanguage,s__wears__m,'"穿"')

domainEnglishFormat.kif 62488-62488
s__termFormat(s__ChineseLanguage,s__wears__m,'"穿戴"')

chinese_format.kif 797-797
s__termFormat(s__ChineseTraditionalLanguage,s__wears__m,'"穿"')

domainEnglishFormat.kif 62487-62487
s__termFormat(s__EnglishLanguage,s__wears__m,'"wears"')

domainEnglishFormat.kif 62486-62486

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5339-5346
( ! [V__PERSON,V__DRESS] :
   (s__instance(V__PERSON,s__Animal) =>
     (s__instance(V__DRESS,s__Dress) &
       s__wears(V__PERSON,V__DRESS))
   =>
   s__instance(V__PERSON,s__Woman) )
)

Mid-level-ontology.kif 5571-5575
( ! [V__EARPHONE,V__HEAD,V__PERSON] :
   (s__instance(V__PERSON,s__Animal) =>
     (s__instance(V__EARPHONE,s__Earphone) &
       s__wears(V__PERSON,V__EARPHONE)
     &
     s__instance(V__HEAD,s__Head) &
     s__part(V__HEAD,V__PERSON))
=>
s__located(V__EARPHONE,V__HEAD)
)
)

ComputerInput.kif 536-542
( ! [V__IC,V__M] :
   (s__instance(V__M,s__WearableItem) =>
     (s__instance(V__IC,s__IhramClothing) &
       s__wears(V__IC,V__M)
     &
     s__attribute(V__M,s__Male))
   =>
   ( ? [V__C, V__B, V__S] :
     ((s__instance(V__C,s__Cloak) &
         s__instance(V__B,s__Belt) &
         s__instance(V__S,s__Sandal) &
         s__member(V__C,V__IC)
       &
       s__member(V__B,V__IC)
     &
     s__member(V__S,V__IC))))
)
)

ArabicCulture.kif 142-154
( ! [V__SHIRT,V__PERSON] :
   (s__instance(V__PERSON,s__Animal) =>
     (s__instance(V__SHIRT,s__Shirt) &
       s__wears(V__PERSON,V__SHIRT))
   =>
   s__instance(V__PERSON,s__Human) )
)

Mid-level-ontology.kif 5539-5543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5581-5589
No TPTP formula. May not be expressible in strict first order. Dining.kif 440-450
( ! [V__P,V__A,V__C] :
   ((s__instance(V__P,s__WearableItem) &
       s__instance(V__A,s__Animal) &
       s__instance(V__C,s__WearableItem))
     =>
     (s__wears(V__A,V__C)
     &
     s__part(V__P,V__C))
=>
s__wears(V__A,V__P)
)
)

Merge.kif 14741-14745
( ! [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 5451-5459
( ! [V__P,V__B] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__B)
     &
     s__instance(V__B,s__Belt))
   =>
   ( ? [V__C] :
     ((s__instance(V__C,s__Clothing) &
         s__wears(V__P,V__C)
       &
       s__meetsSpatially(V__B,V__C))))
)
)

Mid-level-ontology.kif 5365-5373
( ! [V__P,V__C] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__C)
     &
     s__instance(V__C,s__Collar))
   =>
   ( ? [V__N] :
     ((s__instance(V__N,s__Neck) &
         s__part(V__N,V__P)
       &
       s__meetsSpatially(V__C,V__N))))
)
)

Mid-level-ontology.kif 5405-5413
( ! [V__P,V__C,V__W] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__C)
     &
     s__located(V__C,V__W)
   &
   s__instance(V__C,s__Clock) &
   s__instance(V__W,s__Wrist) &
   s__part(V__W,V__P))
=>
s__instance(V__C,s__WatchClock) )
)

Mid-level-ontology.kif 3377-3384
( ! [V__P,V__G] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__G)
     &
     s__instance(V__G,s__Glove))
   =>
   ( ? [V__H] :
     ((s__instance(V__H,s__Hand) &
         s__part(V__H,V__P)
       &
       s__meetsSpatially(V__G,V__H))))
)
)

Mid-level-ontology.kif 5419-5427
( ! [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 5548-5556
( ! [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 5525-5533
( ! [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 5379-5387
( ! [V__HAT,V__PERSON] :
   (s__instance(V__PERSON,s__Animal) =>
     (s__wears(V__PERSON,V__HAT)
     &
     s__instance(V__HAT,s__Hat))
   =>
   ( ? [V__HEAD] :
     ((s__instance(V__HEAD,s__Head) &
         s__part(V__HEAD,V__PERSON)
       &
       s__meetsSpatially(V__HAT,V__HEAD))))
)
)

Mid-level-ontology.kif 5433-5441
( ! [V__SHOE,V__PERSON] :
   (s__instance(V__PERSON,s__Animal) =>
     (s__wears(V__PERSON,V__SHOE)
     &
     s__instance(V__SHOE,s__Shoe))
   =>
   ( ? [V__FOOT] :
     ((s__instance(V__FOOT,s__Foot) &
         s__part(V__FOOT,V__PERSON)
       &
       s__meetsSpatially(V__SHOE,V__FOOT))))
)
)

Mid-level-ontology.kif 5465-5473
( ! [V__AGENT,V__WI] :
   ((s__instance(V__AGENT,s__Animal) &
       s__instance(V__WI,s__WearableItem))
     =>
     s__wears(V__AGENT,V__WI)
   =>
   s__located(V__WI,V__AGENT)
)
)

Merge.kif 14737-14739

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28295-28303 Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28307-28315 Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity は % を wears %n{ない} holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5744-5759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5778-5789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5581-5589
No TPTP formula. May not be expressible in strict first order. Dining.kif 440-450
( ! [V__P,V__A,V__C] :
   ((s__instance(V__P,s__WearableItem) &
       s__instance(V__A,s__Animal) &
       s__instance(V__C,s__WearableItem))
     =>
     (s__wears(V__A,V__C)
     &
     s__part(V__P,V__C))
=>
s__wears(V__A,V__P)
)
)

Merge.kif 14741-14745
( ! [V__P,V__B] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__B)
     &
     s__instance(V__B,s__Belt))
   =>
   ( ? [V__C] :
     ((s__instance(V__C,s__Clothing) &
         s__wears(V__P,V__C)
       &
       s__meetsSpatially(V__B,V__C))))
)
)

Mid-level-ontology.kif 5365-5373
No TPTP formula. May not be expressible in strict first order. Dining.kif 462-473
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 161-168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24819-24827
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5351-5360
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 363-373
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 385-395
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 518-524
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 435-441
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 487-493
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 423-429
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 500-506
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 474-480
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 455-461
No TPTP formula. May not be expressible in strict first order. Cars.kif 3423-3453
No TPTP formula. May not be expressible in strict first order. Cars.kif 4729-4739
No TPTP formula. May not be expressible in strict first order. Cars.kif 4342-4353
No TPTP formula. May not be expressible in strict first order. Cars.kif 3459-3485

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners