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

Formal Language: 



KB Term:  Term intersection
English Word: 

  wears

Sigma KEE - wears
wears

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3616-3617
No TPTP formula. May not be expressible in strict first order. Merge.kif 15644-15645
No TPTP formula. May not be expressible in strict first order. Merge.kif 15642-15642 The number 1 argument of wears is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 15643-15643 The number 2 argument of wears is an instance of wearable item
No TPTP formula. May not be expressible in strict first order. Merge.kif 15641-15641 wears is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 796-796
No TPTP formula. May not be expressible in strict first order. english_format.kif 802-802
No TPTP formula. May not be expressible in strict first order. english_format.kif 803-803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62568-62568
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 797-797
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62567-62567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62566-62566

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4765-4773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5018-5022
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 510-516
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 142-154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4984-4988
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5028-5036
No TPTP formula. May not be expressible in strict first order. Dining.kif 440-450
No TPTP formula. May not be expressible in strict first order. Merge.kif 15651-15655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4891-4899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4794-4802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4842-4850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2848-2855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4857-4865
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4995-5003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4969-4977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4808-4816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4872-4880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4906-4914
No TPTP formula. May not be expressible in strict first order. Merge.kif 15647-15649

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29510-29518 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 the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29523-29531 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 the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5195-5210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5230-5241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5028-5036
No TPTP formula. May not be expressible in strict first order. Dining.kif 440-450
No TPTP formula. May not be expressible in strict first order. Merge.kif 15651-15655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4794-4802
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 26023-26031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4779-4788
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 365-375
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 387-397
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 520-526
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 437-443
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 489-495
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 425-431
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 502-508
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 476-482
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 457-463
No TPTP formula. May not be expressible in strict first order. Cars.kif 3448-3478
No TPTP formula. May not be expressible in strict first order. Cars.kif 4752-4762
No TPTP formula. May not be expressible in strict first order. Cars.kif 4372-4383
No TPTP formula. May not be expressible in strict first order. Cars.kif 3485-3511

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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