No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1882-1882 |
Aerator is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2734-2734 |
Animal controller is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2762-2762 |
Animal powered device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16012-16012 |
Attaching device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26245-26245 |
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 3535-3535 |
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 2850-2850 |
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 1920-1920 |
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 13313-13313 |
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 30785-30785 |
Karabiner is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15034-15034 |
Chimney is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5588-5588 |
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 2260-2260 |
Compass is a subclass of device |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |