![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
NaturalGas
|
|
|
| appearance as argument number 1 |
|
|
| 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 |