Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  InsuranceCarriers

 Sigma KEE - InsuranceCarriers
InsuranceCarriers(保险公司)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 9425-9427
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8541-8541
No TPTP formula. May not be expressible in strict first order. naics.kif 9423-9423 保险公司 是 保险公司及相关活动 的 subAttribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 9450-9450 除生命健康和医疗承运人外的直接保险 是 保险公司 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 9429-9429 直接生命健康和医疗保险承运人 是 保险公司 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 9480-9480 再保险承运人 是 保险公司 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30319-30319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30318-30318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30317-30317


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners