Fleet |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3506-3506 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3505-3505 | Fleet est une sous-classe de collection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3507-3507 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3521-3526 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3509-3511 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3504-3511 |
|