superficialPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2834-2837 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9658-9663 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1578-1581 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9655-9655 | The number 1 argument of superficial part is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9656-9656 | The number 2 argument of superficial part is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9654-9654 | superficial part is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9651-9651 | superficial part is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9653-9653 | superficial part is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9652-9652 | superficial part is an instance of transitive relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 371-371 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 372-372 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 214-214 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 289-289 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2020-2020 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 166-166 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 221-221 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 495-495 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 326-326 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 234-234 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 231-231 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 481-481 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9707-9707 | bottom is a subrelation of superficial part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9737-9737 | side is a subrelation of superficial part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9676-9676 | surface is a subrelation of superficial part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9722-9722 | top is a subrelation of superficial part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56113-56113 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 372-372 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56112-56112 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56111-56111 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17688-17697 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29752-29756 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1289-1293 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9665-9672 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9647-9649 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17688-17697 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1907-1912 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12616-12629 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25252-25262 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25236-25245 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25220-25229 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17710-17720 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10086-10093 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10076-10084 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15077-15084 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 803-805 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 815-817 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9699-9705 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9685-9690 |
|