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
-------------------------


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 15926-15927
No TPTP formula. May not be expressible in strict first order. Merge.kif 15924-15924 The number 1 argument of wears is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 15925-15925 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 15923-15923 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. french_format.kif 479-479
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. portuguese_format.kif 431-431
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 501-501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62601-62601
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 62600-62600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62599-62599

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5043-5051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5296-5300
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. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 151-163
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5262-5266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5306-5314
No TPTP formula. May not be expressible in strict first order. Dining.kif 469-479
No TPTP formula. May not be expressible in strict first order. Cars.kif 3531-3552
No TPTP formula. May not be expressible in strict first order. Merge.kif 15933-15937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5169-5177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5072-5080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5120-5128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2897-2904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5135-5143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5273-5281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5247-5255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5086-5094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5150-5158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5184-5192
No TPTP formula. May not be expressible in strict first order. Merge.kif 15929-15931

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30132-30140 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 30145-30153 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 5503-5518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5538-5549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5306-5314
No TPTP formula. May not be expressible in strict first order. Dining.kif 469-479
No TPTP formula. May not be expressible in strict first order. Merge.kif 15933-15937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5072-5080
No TPTP formula. May not be expressible in strict first order. Dining.kif 492-505
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 170-177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26675-26683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5057-5066
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 376-387
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 399-410
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 533-539
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 450-456
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 438-444
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 515-521
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 470-476
No TPTP formula. May not be expressible in strict first order. Cars.kif 4749-4759
No TPTP formula. May not be expressible in strict first order. Cars.kif 4369-4380
No TPTP formula. May not be expressible in strict first order. Cars.kif 3482-3509
No TPTP formula. May not be expressible in strict first order. Cars.kif 3511-3524

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