| 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 1740-1741 | |
| (externalImage Tube "http://upload.wikimedia.org/wikipedia/commons/0/02/ Pipe.agr.jpg") | pictureList.kif 149-149 | |
| (subclass Tube Artifact) | Mid-level-ontology.kif 1739-1739 |
| appearance as argument number 2 |
|
|
| (partTypes Valve Tube) | engineering.kif 1247-1247 | |
| (subclass AirIntake Tube) | Cars.kif 960-960 | |
| (subclass Catheter Tube) | Medicine.kif 523-523 | |
| (subclass GunBore Tube) | Mid-level-ontology.kif 1382-1382 | |
| (subclass Hose Tube) | Cars.kif 4318-4318 | |
| (subclass Tailpipe Tube) | Cars.kif 4091-4091 | |
| (termFormat ChineseLanguage Tube "管") | domainEnglishFormat.kif 59409-59409 | |
| (termFormat ChineseTraditionalLanguage Tube "管") | domainEnglishFormat.kif 59408-59408 | |
| (termFormat EnglishLanguage Tube "tube") | domainEnglishFormat.kif 59407-59407 |
| 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 4141-4151 | |
| (=> (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 4129-4139 | |
| (=> (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 1743-1751 |
| 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 1252-1265 | |
| (=> (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 2631-2640 |
|
|
|