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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Proclaiming

 Sigma KEE - Proclaiming
Proclaiming(宣講)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15877-15879
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2982-2982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15876-15876 子類 宣講 and Declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15875-15875 子類 宣講 and 演講

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47558-47558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47557-47557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47556-47556


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