Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Tube(tube)
|  | blow_tube, blowpipe, blowtube, cannula, capillary, capillary_tube, capillary_tubing, catheter, cigarette_holder, cloaca, coil, drain, drinking_straw, inner_tube, mouthpiece, nasotracheal_tube, sewer, sewer_line, sewer_main, sewerage, silencer, siphon, speaking_tube, stent, straw, syphon, torpedo_tube, tube, tubing, well_point, wellpoint |
| appearance as argument number 1 |
|
|
| (subclass Tube Artifact) | Mid-level-ontology.kif 1809-1809 | Tube is a subclass of artifact |
| (documentation Tube EnglishLanguage "A long, narrow, and hollow Artifact that is designed for moving Fluids from place to another.") | Mid-level-ontology.kif 1810-1811 | Tube is a subclass of artifact |
| (externalImage Tube "http://upload.wikimedia.org/wikipedia/commons/0/02/ Pipe.agr.jpg") | pictureList.kif 149-149 | Tube is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (subclass GunBore Tube) | Mid-level-ontology.kif 1418-1418 | Gun bore is a subclass of tube |
| (subclass AirIntake Tube) | Cars.kif 897-897 | Air intake is a subclass of tube |
| (subclass Tailpipe Tube) | Cars.kif 3900-3900 | Tailpipe is a subclass of tube |
| (subclass Hose Tube) | Cars.kif 4164-4164 | Hose is a subclass of tube |
| (subclass Catheter Tube) | Medicine.kif 510-510 | Cannula is a subclass of tube |
| (subclass Needle Tube) | Medicine.kif 899-899 | Needle is a subclass of tube |
| (termFormat EnglishLanguage Tube "tube") | domainEnglishFormat.kif 59371-59371 | Needle is a subclass of tube |
| (termFormat ChineseTraditionalLanguage Tube "管") | domainEnglishFormat.kif 59372-59372 | Needle is a subclass of tube |
| (termFormat ChineseLanguage Tube "管") | domainEnglishFormat.kif 59373-59373 | Needle is a subclass of tube |
| (partTypes Valve Tube) | engineering.kif 1341-1341 | Every valve is a part of a tube |
| 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 1813-1821 | If X is an instance of tube, then X has the purpose there exist Y, Z such that Y is an instance of transfer, X is path along which Y occurs, Z is a patient of Y, and fluid is an attribute of Z |
| (=> (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 4160-4170 | If X is an instance of intubation, Y is an instance of tube, the object transferred in X is Y, and Z experiences X, then X has the purpose there exists W such that W is an instance of breathing and Y is an instrument for W |
| (=> (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 4172-4182 | If X is an instance of intubation, Y is an instance of tube, the object transferred in X is Y, and Z experiences X, then there exists W such that W is an instance of trachea, W is a part of Z, and X ends up at W |
| consequent |
|
|
| (=> (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 2485-2494 | If X is an instance of exhaust manifold, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of tube (3) Z is an instance of tube (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
| (=> (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 1346-1359 | If X is an instance of faucet, Y is an instance of liquid motion, Z is a patient of Y, and Y is located at X, then there doesn't exist W such that W is an instance of tube and W contains Z holds during immediately after the time of existence of Y |
|