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 子屬性 保險公司 and 保險公司及相關活動

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9450-9450 子屬性 除生命健康和醫療承運人外的直接保險 and 保險公司
No TPTP formula. May not be expressible in strict first order. naics.kif 9429-9429 子屬性 直接生命健康和醫療保險承運人 and 保險公司
No TPTP formula. May not be expressible in strict first order. naics.kif 9480-9480 子屬性 再保險承運人 and 保險公司
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