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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Manager

 Sigma KEE - Manager
Manager(manager)director, directorship, district_manager, manager, managership, managing_director

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3645-3645
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3644-3644 Manager is an instance of position

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 521-521 Sports manager is a subattribute of manager
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35927-35927
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35926-35926
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35925-35925


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