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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeliefGroup
BeliefGroup(信仰团体)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3719-3719
No TPTP formula. May not be expressible in strict first order. Merge.kif 16593-16594
No TPTP formula. May not be expressible in strict first order. Merge.kif 16592-16592 信仰团体 是 一群人 的 subclass

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


No TPTP formula. May not be expressible in strict first order. People.kif 687-687 不可知论 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1338-1338 Ahmadiyya教派 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1216-1216 英国国教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1438-1438 反犹太主义 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 706-706 无神论 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 749-749 巴哈主义 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 762-762 佛教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 774-774 基督教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1299-1299 儒 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1352-1352 德鲁兹教派 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1238-1238 东正教基督教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1311-1311 印度教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1323-1323 伊斯兰教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1402-1402 耆那教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1417-1417 犹太教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1448-1448 Neopaganism 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1252-1252 新教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1266-1266 罗马天主教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1367-1367 什叶派 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1463-1463 神道 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1478-1478 锡克教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1386-1386 逊尼派 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1493-1493 道教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1508-1508 拜火教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3056-3056 AntiVaxxer 是 信仰团体 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 673-673 BeliefGroupMemberFn 的 1 数量 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1525-1525 beliefGroupPercentInRegion 的 1 数量 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24154-24154 组织的宗教信仰 的 2 数量 是 信仰团体 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16596-16602


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