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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaceOfWorship

 Sigma KEE - PlaceOfWorship
PlaceOfWorship(禮拜的場所)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22521-22521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2295-2295
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2296-2296
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2297-2297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22520-22520 子類 禮拜的場所 and Building

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7905-7905 子類 宗教建築 and 禮拜的場所
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45984-45984
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45983-45983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45982-45982

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


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


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