EngineeringComponent(engineering component) |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1376-1376 | Mechanical joint is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2192-2192 | Radiator is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 779-779 | Rotor is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 771-771 | Shaft is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 789-789 | Stator is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1784-1784 | Switch device is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 381-381 | Television receiver is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | Valve is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1512-1512 | Wing device is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3622-3622 | Wire line is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3617-3617 | Wire spring is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1061-1061 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1333-1333 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 739-739 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 270-270 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 273-273 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2423-2423 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 691-691 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 309-309 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 760-760 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 274-274 |