No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | Tube is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 533-533 | Cannula is a subclass of tube |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 960-960 | Air intake is a subclass of tube |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4030-4030 | Tailpipe is a subclass of tube |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4257-4257 | Hose is a subclass of tube |