|
|
   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 1934-1935 | |
| (externalImage Tube "http://upload.wikimedia.org/wikipedia/commons/0/02/ Pipe.agr.jpg") | pictureList.kif 149-149 | |
| (subclass Tube Artifact) | Mid-level-ontology.kif 1933-1933 | subclass Tube and Artifact |
| appearance as argument number 2 |
|
|
| (havePartTypes Valve Tube) | engineering.kif 933-933 | havePartTypes Valve and Tube |
| (subclass AirIntake Tube) | Cars.kif 951-951 | subclass AirIntake and Tube |
| (subclass Hose Tube) | Cars.kif 4231-4231 | subclass Hose and Tube |
| (subclass Tailpipe Tube) | Cars.kif 4004-4004 | subclass Tailpipe and Tube |
| (termFormat ChineseLanguage Tube "管") | domainEnglishFormat.kif 59314-59314 | |
| (termFormat ChineseTraditionalLanguage Tube "管") | domainEnglishFormat.kif 59313-59313 | |
| (termFormat EnglishLanguage Tube "tube") | domainEnglishFormat.kif 59312-59312 |
| antecedent |
|
|
| (=> (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 1937-1945 |
| 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 938-951 | |
| (=> (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 2632-2641 |
|
|
|
