FlyingAircraft
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17825-17826 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17824-17824 | FlyingAircraft e' uma sub-classe de Dirigir |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17827-17827 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17829-17834 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17836-17841 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 634-638 |
|