No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1854-1854 |
Aerator is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2706-2706 |
Animal controller is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2734-2734 |
Animal powered device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15982-15982 |
Attaching device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26161-26161 |
Audio recorder is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2613-2613 |
Muffler is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3507-3507 |
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 2015-2015 |
Barricade is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2822-2822 |
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 1892-1892 |
Brush or comb is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1634-1634 |
Cam is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13285-13285 |
Camera is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3072-3072 |
Canal lock gate is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30686-30686 |
Karabiner is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15005-15005 |
Chimney is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5560-5560 |
Cleaning device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1808-1808 |
Clutch is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1695-1695 |
Combustion chamber is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2232-2232 |
Compass is a subclass of device |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |