TreeView Knowledge Base Browser - NonresidentialBuildingConstruction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1132-1134
No TPTP formula. May not be expressible in strict first order.	naics.kif 1130-1130	非住宅建筑营造是建立发展和总承包的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1144-1144	商业和公共建筑营造是非住宅建筑营造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1136-1136	制造业和工业建筑是非住宅建筑营造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40845-40845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40844-40844
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40843-40843