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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GasTank

Sigma KEE - GasTank
GasTank

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


(documentation GasTank EnglishLanguage "A Container in a Vehicle designed to hold a Liquid Fuel for use in its Engine. Note that this does not include container such as portable fuel tanks that may be used to carry gas, but which do not directly supply an engine.") Cars.kif 987-990
(subclass GasTank FluidContainer) Cars.kif 985-985 GasTank e' uma sub-classe de FluidContainer

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


(termFormat EnglishLanguage GasTank "gas tank") Cars.kif 986-986

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


(=>
    (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 1070-1090
(=>
    (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 1000-1011
(=>
    (instance ?GT GasTank)
    (hasPurpose ?GT
        (exists (?F)
            (and
                (instance ?F Fuel)
                (contains ?GT ?F)))))
Cars.kif 992-998

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


(=>
    (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 1051-1068
(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE ?T)
            (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 1016-1034


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