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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tube

 Sigma KEE - Tube
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 1517-1518
(externalImage Tube "http://upload.wikimedia.org/wikipedia/commons/0/02/ Pipe.agr.jpg") pictureList.kif 149-149
(subclass Tube Artifact) Mid-level-ontology.kif 1516-1516 Tube è una sottoclasse di Manufatto

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


(partTypes Valve Tube) engineering.kif 934-934 partTypes Valve and Tube
(subclass AirIntake Tube) Cars.kif 960-960 AirIntake è una sottoclasse di Tube
(subclass Catheter Tube) Medicine.kif 533-533 Catheter è una sottoclasse di Tube
(subclass Hose Tube) Cars.kif 4242-4242 Hose è una sottoclasse di Tube
(subclass Tailpipe Tube) Cars.kif 4015-4015 Tailpipe è una sottoclasse di Tube
(termFormat ChineseLanguage Tube "管") domainEnglishFormat.kif 59398-59398
(termFormat ChineseTraditionalLanguage Tube "管") domainEnglishFormat.kif 59397-59397
(termFormat EnglishLanguage Tube "tube") domainEnglishFormat.kif 59396-59396

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 1520-1528

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 2630-2639


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