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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EngineFan
EngineFan(engine fan)

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


(documentation EngineFan EnglishLanguage "A FanDevice that is part of an Engine, designed for Cooling the engine, and therefore distinguished from fans that are for moving Air in the passenger compartment of an Automobile.") Cars.kif 2731-2733
(subclass EngineFan FanDevice) Cars.kif 2729-2729 Engine fan is a subclass of fan device

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


(termFormat EnglishLanguage EngineFan "engine fan") Cars.kif 2730-2730

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


(=>
    (and
        (instance ?FB FanBelt)
        (instance ?EF EngineFan)
        (instance ?A Automobile)
        (part ?FB ?A)
        (part ?EF ?A)
        (instance ?M Motion)
        (patient ?M ?FB))
    (hasPurpose ?FB
        (exists (?M2)
            (and
                (instance ?M2 Rotating)
                (causes ?M ?M2)
                (patient ?M2 ?EF)))))		 Cars.kif 2713-2727
(=>
    (instance ?EF EngineFan)
    (hasPurpose ?EF
        (exists (?C ?E ?A)
            (and
                (instance ?A Automobile)
                (instance ?C Cooling)
                (instance ?E InternalCombustionEngine)
                (part ?E ?A)
                (part ?EF ?A)
                (instrument ?C ?EF)
                (patient ?C ?E)))))		 Cars.kif 2735-2746


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



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