TreeView Knowledge Base Browser

appearance as argument number 1

(documentation BeliefGroup ChineseLanguage "这是一群拥有共同信念 member 的 GroupOfPeople。")	chinese_format.kif 3719-3719
(documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.")	Merge.kif 16664-16665
(subclass BeliefGroup GroupOfPeople)	Merge.kif 16663-16663	BeliefGroup は GroupOfPeople の subclass では %n

appearance as argument number 2

(instance Agnosticism BeliefGroup)	People.kif 687-687	Agnosticism は BeliefGroup の instance では %n
(instance AhmadiyyaSect BeliefGroup)	People.kif 1338-1338	AhmadiyyaSect は BeliefGroup の instance では %n
(instance Anglicanism BeliefGroup)	People.kif 1216-1216	Anglicanism は BeliefGroup の instance では %n
(instance Antisemitism BeliefGroup)	People.kif 1438-1438	Antisemitism は BeliefGroup の instance では %n
(instance Atheism BeliefGroup)	People.kif 706-706	Atheism は BeliefGroup の instance では %n
(instance Bahaism BeliefGroup)	People.kif 749-749	Bahaism は BeliefGroup の instance では %n
(instance Buddhism BeliefGroup)	People.kif 762-762	Buddhism は BeliefGroup の instance では %n
(instance Christianity BeliefGroup)	People.kif 774-774	Christianity は BeliefGroup の instance では %n
(instance Confucianism BeliefGroup)	People.kif 1299-1299	Confucianism は BeliefGroup の instance では %n
(instance DruzeSect BeliefGroup)	People.kif 1352-1352	DruzeSect は BeliefGroup の instance では %n
(instance EasternOrthodoxChristianity BeliefGroup)	People.kif 1238-1238	EasternOrthodoxChristianity は BeliefGroup の instance では %n
(instance Hinduism BeliefGroup)	People.kif 1311-1311	Hinduism は BeliefGroup の instance では %n
(instance Islam BeliefGroup)	People.kif 1323-1323	Islam は BeliefGroup の instance では %n
(instance Jainism BeliefGroup)	People.kif 1402-1402	Jainism は BeliefGroup の instance では %n
(instance Judaism BeliefGroup)	People.kif 1417-1417	Judaism は BeliefGroup の instance では %n
(instance Neopaganism BeliefGroup)	People.kif 1448-1448	Neopaganism は BeliefGroup の instance では %n
(instance Protestantism BeliefGroup)	People.kif 1252-1252	Protestantism は BeliefGroup の instance では %n
(instance RomanCatholicism BeliefGroup)	People.kif 1266-1266	RomanCatholicism は BeliefGroup の instance では %n
(instance ShiiteSect BeliefGroup)	People.kif 1367-1367	ShiiteSect は BeliefGroup の instance では %n
(instance Shinto BeliefGroup)	People.kif 1463-1463	Shinto は BeliefGroup の instance では %n
(instance Sikhism BeliefGroup)	People.kif 1478-1478	Sikhism は BeliefGroup の instance では %n
(instance SunniSect BeliefGroup)	People.kif 1386-1386	SunniSect は BeliefGroup の instance では %n
(instance Taoism BeliefGroup)	People.kif 1493-1493	Taoism は BeliefGroup の instance では %n
(instance Zoroastrianism BeliefGroup)	People.kif 1508-1508	Zoroastrianism は BeliefGroup の instance では %n
(subclass AntiVaxxer BeliefGroup)	Medicine.kif 3056-3056	AntiVaxxer は BeliefGroup の subclass では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain BeliefGroupMemberFn 1 BeliefGroup)	People.kif 673-673	BeliefGroupMemberFn の数値 1 引数は BeliefGroup の instance では %n
(domain beliefGroupPercentInRegion 1 BeliefGroup)	People.kif 1525-1525	beliefGroupPercentInRegion の数値 1 引数は BeliefGroup の instance では %n
(domain religiousAffiliationOfOrganization 2 BeliefGroup)	Mid-level-ontology.kif 24211-24211	religiousAffiliationOfOrganization の数値 2 引数は BeliefGroup の instance では %n

antecedent

(=>
    (instance ?GROUP BeliefGroup)
    (exists (?BELIEF)
        (forall (?MEMB)
            (=>
                (member ?MEMB ?GROUP)
                (believes ?MEMB ?BELIEF)))))

Merge.kif 16667-16673

コレクションは BeliefGroup の instance では %n
公式認識エージェント
- 認識エージェントはコレクションの member では %n
- 認識エージェントは公式を believes %n{ない}

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

KB Term:			Term intersection

English Word: