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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtCritic

 Sigma KEE - ArtCritic
ArtCritic(艺术评论家)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21083-21084
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10431-10431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10432-10432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21082-21082 艺术评论家 是 记者 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8496-8496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8495-8495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8494-8494

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


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


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