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 14807-14808
No TPTP formula. May not be expressible in strict first order. Merge.kif 14805-14805 The number 1 argument of wears is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14806-14806 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 14804-14804 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 805-805
No TPTP formula. May not be expressible in strict first order. english_format.kif 806-806
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. chinese_format.kif 797-797
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62566-62566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62565-62565

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4739-4747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4978-4982
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 536-542
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 4945-4949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4988-4996
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 14814-14818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4856-4864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4768-4776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4809-4817
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2829-2836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4824-4832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4955-4963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4931-4939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4782-4790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4838-4846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4870-4878
No TPTP formula. May not be expressible in strict first order. Merge.kif 14810-14812

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26355-26363 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 26368-26376 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 5155-5170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5190-5201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4988-4996
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 14814-14818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4768-4776
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 22869-22877
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4753-4762
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 3462-3492
No TPTP formula. May not be expressible in strict first order. Cars.kif 4772-4782
No TPTP formula. May not be expressible in strict first order. Cars.kif 4385-4396
No TPTP formula. May not be expressible in strict first order. Cars.kif 3499-3525

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