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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousOrganization
ReligiousOrganization(宗教机构)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3749-3750
No TPTP formula. May not be expressible in strict first order. Merge.kif 16738-16739
No TPTP formula. May not be expressible in strict first order. Merge.kif 16737-16737 宗教机构 是 信仰团体 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16736-16736 宗教机构 是 机构 的 subclass

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


No TPTP formula. May not be expressible in strict first order. People.kif 1229-1229 英格兰教堂 是 宗教机构 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1279-1279 罗马天主教会 是 宗教机构 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1212-1212 僧院 是 宗教机构 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 801-801 Church 是 宗教机构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7899-7899 任务组织 是 宗教机构 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1072-1072
No TPTP formula. May not be expressible in strict first order. english_format.kif 1355-1355
No TPTP formula. May not be expressible in strict first order. french_format.kif 750-750
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 282-282
No TPTP formula. May not be expressible in strict first order. terms-it.txt 285-285
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2434-2434
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 702-702
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 321-321
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 771-771
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 286-286

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


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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 352-357
No TPTP formula. May not be expressible in strict first order. Government.kif 345-350
No TPTP formula. May not be expressible in strict first order. Merge.kif 10562-10571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20879-20883
No TPTP formula. May not be expressible in strict first order. People.kif 729-735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20903-20909
No TPTP formula. May not be expressible in strict first order. Biography.kif 132-143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20891-20895


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