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 9680-9685 | |
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 9677-9677 | O argumento numero 1 de superficialPart e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9678-9678 | O argumento numero 2 de superficialPart e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9676-9676 | superficialPart e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9673-9673 | superficialPart e' uma instancia de Relacao Irreflexiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9675-9675 | superficialPart e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9674-9674 | superficialPart e' uma instancia de Relacao Transitiva |
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 9729-9729 | bottom e' uma sub-relacao de superficialPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9759-9759 | side e' uma sub-relacao de superficialPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9698-9698 | surface e' uma sub-relacao de superficialPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9744-9744 | top e' uma sub-relacao de superficialPart |
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 17710-17719 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29740-29744 | |
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 9687-9694 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9669-9671 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17710-17719 |
|
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 12638-12651 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25251-25261 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25235-25244 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25219-25228 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17732-17742 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10108-10115 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10098-10106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15099-15106 |
|
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 9721-9727 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9707-9712 |
|