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 | The number 1 argument of abstract part is an instance of abstract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | The number 2 argument of abstract part is an instance of abstract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22794-22794 | abstract part is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22793-22793 | abstract part is an instance of partial ordering relation |
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 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1250-1250 | Newtons first law is a part of newtons law |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1257-1257 | Newtons second law is a part of newtons law |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1262-1262 | Newtons third law is a part of newtons law |