No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2345-2345 |
Aerator is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3197-3197 |
Animal controller is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3225-3225 |
Animal powered device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16173-16173 |
Attaching device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28146-28146 |
Audio recorder is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2597-2597 |
Muffler is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3978-3978 |
Axle is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1404-1404 |
Ball bearing is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2172-2172 |
Barricade is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3313-3313 |
Baton is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 538-538 |
Brake is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 672-672 |
Brake caliper is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 666-666 |
Brake drum is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 677-677 |
Brake pedal is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 660-660 |
Brake rotor is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2383-2383 |
Brush or comb is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1641-1641 |
Cam is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14652-14652 |
Camera is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3976-3976 |
Canal lock gate is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32723-32723 |
Karabiner is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16407-16407 |
Chimney is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6525-6525 |
Cleaning device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1792-1792 |
Clutch is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1702-1702 |
Combustion chamber is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2723-2723 |
Compass is a subclass of device |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |