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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirIntake

Sigma KEE - AirIntake
AirIntake

appearance as argument number 1
-------------------------


(documentation AirIntake EnglishLanguage "A Tube that channels Air on a path ultimately into an Engine.") Cars.kif 962-963
(subclass AirIntake Tube) Cars.kif 960-960 子類 AirIntake and

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


(termFormat EnglishLanguage AirIntake "air intake") Cars.kif 961-961

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


(=>
    (instance ?AI AirIntake)
    (hasPurpose ?AI
        (exists (?A ?E ?T)
            (and
                (instance ?A Air)
                (instance ?E Engine)
                (instance ?T Transfer)
                (origin ?T ?AI)
                (destination ?T ?E)
                (patient ?T ?A)))))
Cars.kif 973-983
(=>
    (instance ?AI AirIntake)
    (hasPurpose ?AI
        (exists (?A)
            (and
                (instance ?A Air)
                (contains ?AI ?A)))))
Cars.kif 965-971


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