No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | Tube est une sous-classe de artefact |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 533-533 | Catheter est une sous-classe de Tube |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 960-960 | AirIntake est une sous-classe de Tube |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4038-4038 | Tailpipe est une sous-classe de Tube |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4265-4265 | Hose est une sous-classe de Tube |