|
|
   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 1524-1525 | |
| (externalImage Tube "http://upload.wikimedia.org/wikipedia/commons/0/02/ Pipe.agr.jpg") | pictureList.kif 149-149 | |
| (subclass Tube Artifact) | Mid-level-ontology.kif 1523-1523 | 子類 管 and Artifact |
| appearance as argument number 2 |
|
|
| (partTypes Valve Tube) | engineering.kif 934-934 | 每個 閥 是 管 的 part |
| (subclass AirIntake Tube) | Cars.kif 960-960 | 子類 AirIntake and 管 |
| (subclass Catheter Tube) | Medicine.kif 533-533 | 子類 Catheter and 管 |
| (subclass Hose Tube) | Cars.kif 4257-4257 | 子類 Hose and 管 |
| (subclass Tailpipe Tube) | Cars.kif 4030-4030 | 子類 Tailpipe and 管 |
| (termFormat ChineseLanguage Tube "管") | domainEnglishFormat.kif 59396-59396 | |
| (termFormat ChineseTraditionalLanguage Tube "管") | domainEnglishFormat.kif 59395-59395 | |
| (termFormat EnglishLanguage Tube "tube") | domainEnglishFormat.kif 59394-59394 |
| 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 1527-1535 |
| 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 2647-2656 |
|
|
|
