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 4038-4038 | Tailpipe is a subclass of tube |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4265-4265 | Hose is a subclass of tube |