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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousService
ReligiousService(宗教服務)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7987-7989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7986-7986 子類 宗教服務 and 示範
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7985-7985 子類 宗教服務 and ReligiousProcess

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


No TPTP formula. May not be expressible in strict first order. People.kif 779-779 子類 基督徒服務 and 宗教服務
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49436-49436
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49435-49435
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49434-49434

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Biography.kif 87-92
No TPTP formula. May not be expressible in strict first order. Biography.kif 117-122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16028-16033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15942-15947
No TPTP formula. May not be expressible in strict first order. Biography.kif 56-61


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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