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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Journalist

 Sigma KEE - Journalist
Journalist(记者)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18950-18952
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4909-4909
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4908-4908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18949-18949 记者 是 职业 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21081-21081 艺术评论家 是 记者 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21057-21057 新闻记者 是 记者 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31795-31795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31794-31794
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31793-31793

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18954-18958


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