abstractPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22789-22790 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22794-22794 | O argumento numero 1 de abstractPart e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22795-22795 | O argumento numero 2 de abstractPart e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22793-22793 | abstractPart e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22792-22792 | abstractPart e' uma instancia de Relacao parcialmente Ordenada |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | |
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 22791-22791 |
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 22808-22813 | |
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 | abstractPart NewtonsFirstLaw and NewtonsLaw |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1257-1257 | abstractPart NewtonsSecondLaw and NewtonsLaw |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1262-1262 | abstractPart NewtonsThirdLaw and NewtonsLaw |