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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fuel
Fuel

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


(documentation Fuel EnglishLanguage "Fuel is the class of Substances that can be used as resources in Combustion processes in order to produce heat. Mechanical energy can be produced by burning fuel in an Engine.") Mid-level-ontology.kif 2102-2104
(externalImage Fuel "http://upload.wikimedia.org/wikipedia/en/a/ac/Sterno.jpg") pictureList.kif 899-899
(subclass Fuel Substance) Mid-level-ontology.kif 2101-2101

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


(subclass Charcoal Fuel) Cars.kif 1665-1665
(subclass FossilFuel Fuel) Mid-level-ontology.kif 2095-2095
(termFormat ChineseLanguage Fuel "汽油") domainEnglishFormat.kif 25093-25093
(termFormat ChineseTraditionalLanguage Fuel "汽油") domainEnglishFormat.kif 25092-25092
(termFormat EnglishLanguage Fuel "fuel") domainEnglishFormat.kif 25091-25091

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


(=>
    (and
        (instance ?E Exhaust)
        (material Fuel ?E)
        (instance ?T Transfer)
        (instance ?ENG Engine)
        (origin ?T ?ENG)
        (instance ?CC CatalyticConverter)
        (destination ?T ?CC)
        (objectTransferred ?T ?E))
    (hasPurpose ?CC
        (exists (?C)
            (and
                (instance ?C Combustion)
                (instrument ?C ?CC)
                (patient ?C ?E)
                (eventLocated ?C ?CC)))))
Cars.kif 1712-1728
(=>
    (and
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (instance ?F Fuel)
        (instance ?M UnitOfVolume)
        (holdsDuring ?T
            (and
                (contains ?CC ?F)
                (measure ?F
                    (MeasureFn ?N1 ?M))
                (attribute ?E EngineFlooded))))
    (hasPurpose ?CC
        (not
            (exists (?F2)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))
Cars.kif 2795-2814
(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (measure ?A1 ?A1M)
        (measure ?A2 ?A2M)
        (measure ?F1 ?F1M)
        (measure ?F2 ?F2M))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))
Cars.kif 1314-1343
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP)
        (instance ?GT GasTank)
        (part ?GT ?A)
        (instance ?EC EngineCylinder)
        (part ?EC ?A)
        (origin ?T ?GT)
        (destination ?T ?EC)
        (path ?T ?P))
    (hasPurpose ?T
        (exists (?FF)
            (and
                (instance ?FF FuelFilter)
                (betweenOnPath ?GT ?FF ?EC ?P)))))
Cars.kif 1060-1080
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP))
    (hasPurpose ?FP
        (exists (?GT ?EC)
            (and
                (instance ?GT GasTank)
                (part ?GT ?A)
                (instance ?EC EngineCylinder)
                (part ?EC ?A)
                (origin ?T ?GT)
                (destination ?T ?EC)))))
Cars.kif 1041-1058

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


(=>
    (and
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (instance ?F Fuel)
        (instance ?M UnitOfVolume)
        (holdsDuring ?T
            (and
                (contains ?CC ?F)
                (measure ?F
                    (MeasureFn ?N1 ?M))
                (attribute ?E EngineFlooded))))
    (hasPurpose ?CC
        (not
            (exists (?F2)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))
Cars.kif 2795-2814
(=>
    (instance ?FA FuelAtomizer)
    (hasPurpose ?FA
        (exists (?F ?S ?A ?C)
            (and
                (instance ?F Fuel)
                (instance ?S Spraying)
                (instance ?A Air)
                (instance ?C Combustion)
                (patient ?S ?A)
                (patient ?S ?F)
                (resource ?C ?F)
                (resource ?C ?A)))))
Cars.kif 1102-1114
(=>
    (instance ?FILTER FuelFilter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?FUEL ?NONFUEL ?SOLUTION)
            (and
                (instance ?REMOVE Removing)
                (part ?FUEL ?SOLUTION)
                (instance ?FUEL Fuel)
                (not
                    (instance ?NONFUEL Fuel))
                (patient ?REMOVE ?NONFUEL)
                (part ?NONFUEL ?SOLUTION)
                (origin ?REMOVE ?SOLUTION)
                (instance ?SOLUTION Solution)
                (instrument ?REMOVE ?FILTER)))))
Cars.kif 912-926
(=>
    (instance ?FP FuelPump)
    (hasPurpose ?FP
        (exists (?F ?T)
            (and
                (instance ?T Transportation)
                (instance ?F Fuel)
                (patient ?T ?F)
                (instrument ?F ?FP)))))
Cars.kif 1031-1039
(=>
    (instance ?FV FuelVapor)
    (exists (?F)
        (and
            (instance ?F Fuel)
            (part ?F ?FV))))
Cars.kif 73-78
(=>
    (instance ?GP GasPedal)
    (hasPurpose ?GP
        (exists (?P ?T ?F ?E ?A)
            (and
                (instance ?P Pushing)
                (instance ?T Transfer)
                (instance ?F Fuel)
                (instance ?E Engine)
                (instance ?A Automobile)
                (part ?GP ?A)
                (part ?E ?A)
                (destination ?P ?GP)
                (destination ?T ?E)
                (patient ?T ?F)
                (causes ?P ?T)))))
Cars.kif 2526-2541
(=>
    (instance ?GT GasTank)
    (hasPurpose ?GT
        (exists (?F ?T ?E)
            (and
                (instance ?F Fuel)
                (contains ?GT ?F)
                (instance ?E Engine)
                (instance ?T Transfer)
                (origin ?T ?GT)
                (destination ?T ?E)
                (patient ?T ?F)))))
Cars.kif 990-1001
(=>
    (instance ?GT GasTank)
    (hasPurpose ?GT
        (exists (?F)
            (and
                (instance ?F Fuel)
                (contains ?GT ?F)))))
Cars.kif 982-988
(=>
    (instance ?I InternalCombustionEngine)
    (hasPurpose ?I
        (exists (?F ?C)
            (and
                (instance ?F Fuel)
                (instance ?C Combustion)
                (instrument ?C ?I)
                (resource ?C ?F)))))
Cars.kif 47-55
(=>
    (instance ?PCVV PositiveCrankcaseVentilationValve)
    (hasPurpose ?PCVV
        (exists (?CR ?F ?CC ?T ?A)
            (and
                (instance ?CR Crankcase)
                (instance ?F Fuel)
                (instance ?CC CombustionChamber)
                (instance ?T Transfer)
                (instance ?A Automobile)
                (part ?CR ?A)
                (part ?CC ?A)
                (part ?PCVV ?A)
                (origin ?T ?CR)
                (destination ?T ?CC)
                (objectTransferred ?T ?F)
                (path ?T ?PCVV)))))
Cars.kif 3790-3806
(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE)
            (and
                (instance ?TANK GasTank)
                (hole ?HOLE ?TANK)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (and
                            (connected ?X ?HOLE)
                            (attribute ?X Locked)))
                    (holdsDuring ?T
                        (exists (?STEAL ?FUEL)
                            (and
                                (instance ?STEAL Stealing)
                                (instance ?FUEL Fuel)
                                (located ?FUEL ?TANK)
                                (patient ?STEAL ?FUEL)))))))))
Cars.kif 1006-1024


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners