TreeView Knowledge Base Browser - LiquefiedPetroleumGas

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	液化石油气是化石燃料的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5933-5933	液化石油气是精炼石油产品的 subclass

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