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 | 域 膚淺的部分, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9656-9656 | 域 膚淺的部分, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9654-9654 | 例 膚淺的部分 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9651-9651 | 例 膚淺的部分 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9653-9653 | 例 膚淺的部分 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9652-9652 | 例 膚淺的部分 and TransitiveRelation |
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 | 子關係 底部 and 膚淺的部分 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9737-9737 | 子關係 側 and 膚淺的部分 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9676-9676 | 子關係 表面 and 膚淺的部分 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9722-9722 | 子關係 上 and 膚淺的部分 |
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 |