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 15948-15949 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15946-15946 | O argumento numero 1 de wears e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15947-15947 | O argumento numero 2 de wears e' uma instancia de WearableItem |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15945-15945 | wears e' uma instancia de Predicado Binario |
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 5042-5050 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5295-5299 |
|
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 3455-3484 |
|
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 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5261-5265 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5305-5313 | |
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 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15955-15959 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5168-5176 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5071-5079 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5119-5127 |
|
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 5134-5142 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5272-5280 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5246-5254 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5085-5093 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5149-5157 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5183-5191 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15951-15953 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30120-30128 | Barefoot e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Shoe Entidade usa Entidade vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30133-30141 | Naked e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa Entidade usa Entidade vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5502-5517 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5537-5548 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5305-5313 | |
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 15955-15959 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5071-5079 |
|
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 26663-26671 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5056-5065 | |
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 4757-4767 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4377-4388 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3490-3517 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3519-3532 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |