| Tube
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1524-1525 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 149-149 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | Tube est une sous-classe de artefact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 934-934 | partTypes Valve and 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. | Medicine.kif 533-533 | Catheter 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 |
| 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. | domainEnglishFormat.kif 59396-59396 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59395-59395 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59394-59394 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4135-4145 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4123-4133 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1527-1535 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 939-952 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2653-2662 |
|
|
|