| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | Tube e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 533-533 | Catheter e' uma sub-classe de Tube |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 960-960 | AirIntake e' uma sub-classe de Tube |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4038-4038 | Tailpipe e' uma sub-classe de Tube |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4265-4265 | Hose e' uma sub-classe de Tube |
|
|