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 is a subclass of artifact |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 934-934 | Every valve is a part of a 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. | Medicine.kif 533-533 | Cannula 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 |
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. | 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 2647-2656 |
|