LiquefiedPetroleumGas - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1706-1707
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2483-2483
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31396-31396	roomTempState 液化石油氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1705-1705	子類液化石油氣 and 化石燃料
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5933-5933	子類液化石油氣 and 精煉石油產品

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34607-34607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34606-34606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34605-34605