TreeView Knowledge Base Browser - InvestigationGuardAndArmoredCarServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10506-10508
No TPTP formula. May not be expressible in strict first order.	naics.kif 10504-10504	调查员和装甲车服务是调查和安全服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10524-10524	装甲车服务是调查员和装甲车服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10510-10510	调查服务是调查员和装甲车服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10517-10517	保安和巡逻服务是调查员和装甲车服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30841-30841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30840-30840
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30839-30839