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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RightTriangle

 Sigma KEE - UnionOrganization
UnionOrganization(工会组织)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8566-8569
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12118-12118
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12116-12116
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10321-10321
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12117-12117
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12115-12115
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12114-12114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8565-8565 工会组织 是 机构 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60010-60010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60009-60009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60008-60008

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


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


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