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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Manager

 Sigma KEE - Manager
Manager(經理)

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 例 經理 and Position

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 521-521 子屬性 SportsManager and 經理
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