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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InsuranceCarriers

 Sigma KEE - InsuranceCarriers
InsuranceCarriers(insurance carriers)

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 Insurance carriers is a subattribute of insurance carriers and related activities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9450-9450 Direct insurance except life health and medical carriers is a subattribute of insurance carriers
No TPTP formula. May not be expressible in strict first order. naics.kif 9429-9429 Direct life health and medical insurance carriers is a subattribute of insurance carriers
No TPTP formula. May not be expressible in strict first order. naics.kif 9480-9480 Reinsurance carriers is a subattribute of insurance carriers
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