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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AttorneyGeneral
AttorneyGeneral(attorney general)
Attorney_General, Attorney_General_of_the_United_States, attorney_general

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20979-20981
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4961-4961
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4960-4960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4861-4861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20978-20978 Attorney general is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20977-20977 Attorney general is a subattribute of attorney

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9006-9006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9005-9005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9004-9004


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



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