| Tube
| |
| appearance as argument number 1 |
|
|
| (documentation Tube EnglishLanguage "A long, narrow, and hollow Artifact that is designed for moving Fluids from place to another.") | Mid-level-ontology.kif 1517-1518 | |
| (externalImage Tube "http://upload.wikimedia.org/wikipedia/commons/0/02/ Pipe.agr.jpg") | pictureList.kif 149-149 | |
| (subclass Tube Artifact) | Mid-level-ontology.kif 1516-1516 |
| appearance as argument number 2 |
|
|
| (partTypes Valve Tube) | engineering.kif 934-934 | |
| (subclass AirIntake Tube) | Cars.kif 960-960 | |
| (subclass Catheter Tube) | Medicine.kif 533-533 | |
| (subclass Hose Tube) | Cars.kif 4242-4242 | |
| (subclass Tailpipe Tube) | Cars.kif 4015-4015 | |
| (termFormat ChineseLanguage Tube "管") | domainEnglishFormat.kif 59398-59398 | |
| (termFormat ChineseTraditionalLanguage Tube "管") | domainEnglishFormat.kif 59397-59397 | |
| (termFormat EnglishLanguage Tube "tube") | domainEnglishFormat.kif 59396-59396 |
| antecedent |
|
|
| (=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (exists (?TH) (and (instance ?TH Trachea) (part ?TH ?H) (destination ?I ?TH)))) |
Medicine.kif 4135-4145 | |
| (=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (hasPurpose ?I (exists (?B) (and (instance ?B Breathing) (instrument ?B ?T))))) |
Medicine.kif 4123-4133 | |
| (=> (instance ?T Tube) (hasPurpose ?T (exists (?P ?OBJ) (and (instance ?P Transfer) (path ?P ?T) (patient ?P ?OBJ) (attribute ?OBJ Fluid))))) |
Mid-level-ontology.kif 1520-1528 |
| consequent |
|
|
| (=> (and (instance ?F Faucet) (instance ?LM LiquidMotion) (patient ?LM ?L) (located ?LM ?F)) (holdsDuring (ImmediateFutureFn (WhenFn ?LM)) (not (exists (?T) (and (instance ?T Tube) (contains ?T ?L)))))) |
engineering.kif 939-952 | |
| (=> (instance ?EM ExhaustManifold) (exists (?T1 ?T2) (and (instance ?T1 Tube) (instance ?T2 Tube) (not (equal ?T1 ?T2)) (part ?T1 ?EM) (part ?T2 ?EM)))) |
Cars.kif 2630-2639 |
|
|
|