Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tube

Sigma KEE - Tube
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1524-1525
No TPTP formula. May not be expressible in strict first order. pictureList.kif 149-149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1523-1523 Tube is a subclass of artifact

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 934-934 Every valve is a part of a tube
No TPTP formula. May not be expressible in strict first order. Cars.kif 960-960 Air intake is a subclass of tube
No TPTP formula. May not be expressible in strict first order. Medicine.kif 533-533 Cannula is a subclass of tube
No TPTP formula. May not be expressible in strict first order. Cars.kif 4257-4257 Hose is a subclass of tube
No TPTP formula. May not be expressible in strict first order. Cars.kif 4030-4030 Tailpipe is a subclass of tube
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59396-59396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59395-59395
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59394-59394

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4135-4145
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4123-4133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1527-1535

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 939-952
No TPTP formula. May not be expressible in strict first order. Cars.kif 2647-2656


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners