TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Club EnglishLanguage "A Club is an Organization of people that share some desire")	Mid-level-ontology.kif 943-943
(subclass Club Organization)	Mid-level-ontology.kif 942-942	Club is a subclass of organization

appearance as argument number 2

(termFormat EnglishLanguage Club "club")

domainEnglishFormat.kif 64653-64653

antecedent

(=>
    (and
        (instance ?CLUB Club)
        (member ?MEM1 ?CLUB)
        (member ?MEM2 ?CLUB))
    (exists (?DESIRE)
        (and
            (desires ?MEM1 ?DESIRE)
            (desires ?MEM2 ?DESIRE))))

Mid-level-ontology.kif 944-952

If a collection is an instance of club and a cognitive agent is a member of the collection and another cognitive agent is a member of the collection,
then there exists a formula such that the cognitive agent desires the formula and the other cognitive agent desires the formula

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: