TreeView Knowledge Base Browser - MiningExceptOilAndGas

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 672-674
No TPTP formula. May not be expressible in strict first order.	naics.kif 670-670	采矿除石油和天然气是矿业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1798-1798	采矿除石油和天然气是采矿业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 676-676	采煤是采矿除石油和天然气的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 702-702	金属矿开采是采矿除石油和天然气的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 771-771	非金属矿物开采和采石是采矿除石油和天然气的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37907-37907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37906-37906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37905-37905