| 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 |
| appearance as argument number 2 |
|
|
| (havePartTypes Valve Tube) | engineering.kif 933-933 | |
| (subclass AirIntake Tube) | Cars.kif 960-960 | |
| (subclass Hose Tube) | Cars.kif 4273-4273 | |
| (subclass Tailpipe Tube) | Cars.kif 4046-4046 | |
| (termFormat ChineseLanguage Tube "管") | domainEnglishFormat.kif 59380-59380 | |
| (termFormat ChineseTraditionalLanguage Tube "管") | domainEnglishFormat.kif 59379-59379 | |
| (termFormat EnglishLanguage Tube "tube") | domainEnglishFormat.kif 59378-59378 |
| 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 2661-2670 |
|
|
|