No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2390-2390 |
Toy e' disjunto de AerobicExerciseDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2391-2391 |
Toy e' disjunto 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 e' uma sub-classe de Aparelho |