No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1841-1841 |
Aerator is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2693-2693 |
Animal controller is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2721-2721 |
Animal powered device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15743-15743 |
Attaching device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25635-25635 |
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 3491-3491 |
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 2805-2805 |
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 |
BrakeCaliper is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 666-666 |
BrakeDrum 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 |
BrakeRotor is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1879-1879 |
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 12778-12778 |
Camera is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3079-3079 |
Canal lock gate is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30187-30187 |
Karabiner is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14502-14502 |
Chimney is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5284-5284 |
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 2219-2219 |
Compass is a subclass of device |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |