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 2198-2198 |
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 |
|