abstractPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22790-22791 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22795-22795 | 域 抽象的部分, 1 and Abstract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | 域 抽象的部分, 2 and Abstract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22794-22794 | 例 抽象的部分 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22793-22793 | 例 抽象的部分 and PartialOrderingRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22797-22797 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5184-5184 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5183-5183 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5182-5182 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22792-22792 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 391-399 |
consequent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 391-399 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 436-441 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22809-22814 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 461-473 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 444-452 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 480-492 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 504-513 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1250-1250 | 抽象的部分 牛頓第一定律 and 牛頓法 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1257-1257 | 抽象的部分 牛頓第二定律 and 牛頓法 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1262-1262 | 抽象的部分 牛頓第三定律 and 牛頓法 |