No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2390-2390 |
Toy est disjoint de AerobicExerciseDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2391-2391 |
Toy est disjoint de AnaerobicExerciseDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2386-2387 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2385-2385 |
Toy est une sous-classe de appareil |