No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2390-2390 |
Toy is disjoint from aerobic exercise device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2391-2391 |
Toy is disjoint from anaerobic exercise device |
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 is a subclass of device |