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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeliefGroup

 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 子類 信仰團體 and 一群人

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


No TPTP formula. May not be expressible in strict first order. People.kif 687-687 例 不可知論 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1338-1338 例 ahmadiyya教派 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1216-1216 例 英國國教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1438-1438 例 反猶太主義 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 706-706 例 無神論 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 749-749 例 巴哈主義 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 762-762 例 佛教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 774-774 例 基督教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1299-1299 例 儒 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1352-1352 例 德魯茲教派 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1238-1238 例 東正教基督教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1311-1311 例 印度教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1323-1323 例 伊斯蘭教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1402-1402 例 耆那教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1417-1417 例 猶太教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1448-1448 例 neopaganism and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1252-1252 例 新教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1266-1266 例 羅馬天主教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1367-1367 例 什葉派 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1463-1463 例 神道 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1478-1478 例 錫克教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1386-1386 例 遜尼派 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1493-1493 例 道教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1508-1508 例 拜火教 and 信仰團體
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3056-3056 子類 AntiVaxxer and 信仰團體

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 and 信仰團體
No TPTP formula. May not be expressible in strict first order. People.kif 1525-1525 域 beliefGroupPercentInRegion, 1 and 信仰團體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24154-24154 域 組織的宗教信仰, 2 and 信仰團體

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


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


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