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



KB Term:  Term intersection
English Word: 

  NaturalGas

Sigma KEE - NaturalGas
NaturalGas(natural gas)
more pictures...
gas, natural_gas

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


(subclass NaturalGas CompoundSubstance) Geography.kif 3486-3486 Natural gas is a subclass of compound substance
(documentation NaturalGas EnglishLanguage "NaturalGas is a combustible mixture of methane and higher hydrocarbons.") Geography.kif 3488-3489 Natural gas is a subclass of compound substance
(roomTempState NaturalGas Gas) Geography.kif 3491-3491 room temperature state natural gas and gas
(externalImage NaturalGas "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ WMATA_3006.jpg") pictureList.kif 6719-6719 room temperature state natural gas and gas
(externalImage NaturalGas "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Polyethylene_gas_main.jpg") pictureList.kif 7403-7403 room temperature state natural gas and gas
(externalImage NaturalGas "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Manlove_gas_storage_facility.jpg") pictureList.kif 7404-7404 room temperature state natural gas and gas
(externalImage NaturalGas "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Natural_gas_production_world.PNG") pictureList.kif 7405-7405 room temperature state natural gas and gas
(externalImage NaturalGas "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ NatGasProcessing.png") pictureList.kif 7406-7406 room temperature state natural gas and gas
(externalImage NaturalGas "http://upload.wikimedia.org/wikipedia/en/c/c0/ U.S._Natural_Gas_Production_1900-2005.png") pictureList.kif 7407-7407 room temperature state natural gas and gas

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


(industryProductType NaturalGasIndustry NaturalGas) Economy.kif 1946-1946 Natural gas is an industry product type of natural gas industry
(names "natural gas" NaturalGas) Geography.kif 3487-3487 Natural gas has name "natural gas"
(termFormat EnglishLanguage NaturalGas "natural gas") domainEnglishFormat.kif 39865-39865 Natural gas has name "natural gas"
(termFormat ChineseTraditionalLanguage NaturalGas "天然氣") domainEnglishFormat.kif 39866-39866 Natural gas has name "natural gas"
(termFormat ChineseLanguage NaturalGas "天然气") domainEnglishFormat.kif 39867-39867 Natural gas has name "natural gas"

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


(=>
    (instance ?GAS NaturalGas)
    (attribute ?GAS Gas))
Geography.kif 3493-3495 If X is an instance of natural gas, then gas is an attribute of X

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


(=>
    (and
        (instance ?PIPE NaturalGasPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?GAS))
    (instance ?GAS NaturalGas))
Transportation.kif 813-819 If X is an instance of natural gas pipeline, Y is an instance of motion, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of natural gas


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners