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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Surgeon

 Sigma KEE - Surgeon
Surgeon(外科醫生)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21073-21074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21072-21072 子屬性 外科醫生 and 醫生

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56343-56343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56342-56342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56341-56341


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