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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaceOfWorship

 Sigma KEE - PlaceOfWorship
PlaceOfWorship(place of worship)
bethel, conventicle, house_of_God, house_of_prayer, house_of_worship, meetinghouse, place_of_worship, shrine

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 Place of worship is a subclass of building

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7905-7905 Religious building is a subclass of place of worship
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