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 |