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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Group
Group(group)
Age_of_Reason, Arthurian, Asia, Bloomsbury_Group, Central_America, Chabad, Chabad-Lubavitch, Clovis_culture, Counter_Reformation, DINK, Demerara, Dutch, Dutch_people, Enlightenment, Europe, FTO, Ferdinand_and_Isabella, Folsom_culture, Four_Hundred, Gallicanism, Greek_chorus, Grub_Street, INC, Iraqi_National_Congress, Kashag, Laurel_and_Hardy, Lewis_and_Clark_Expedition, Lords_Temporal, Lost_Tribes, Lubavitch, Lubavitch_movement, Magi, New_Amsterdam, North_America, Oxford_movement, Pietism, Plantation, Plymouth_Colony, Praetorian_Guard, Protestant_Reformation, Rastafari, Rastas, Red_Guard, Reformation, South_America, TV_audience, Trimurti, Trojan_horse, Tweedledee_and_Tweedledum, Tweedledum_and_Tweedledee...

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


s__documentation(s__Group,s__ChineseLanguage,'"这是一个 CollectionAgent,例如:一群绵羊、一群山羊 或一队当地的童子军。"')

chinese_format.kif 3668-3669
s__documentation(s__Group,s__EnglishLanguage,'"A Collection of Agents, e.g. a flock of sheep, a herd of goats, or the local Boy Scout troop."')

Merge.kif 15028-15029
s__externalImage(s__Group,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png"')

pictureList.kif 477-477
s__instance(s__Group,s__SetOrClass)

s__subclass(s__Group,s__Agent)

s__instance(s__Agent,s__SetOrClass)

Merge.kif 15027-15027 Group is a subclass of agent
s__instance(s__Group,s__SetOrClass)

s__subclass(s__Group,s__Collection)

s__instance(s__Collection,s__SetOrClass)

Merge.kif 15026-15026 Group is a subclass of collection

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


s__range(s__ShipCrewFn__m,s__Group)

Transportation.kif 3254-3254 The range of ship crew is an instance of group
s__instance(s__Group,s__SetOrClass)

s__instance(s__FileSystem,s__SetOrClass)

s__subclass(s__FileSystem,s__Group)

engineering.kif 1333-1333 File system is a subclass of group
s__instance(s__Group,s__SetOrClass)

s__subclass(s__GroupOfAnimals,s__Group)

s__instance(s__GroupOfAnimals,s__SetOrClass)

Mid-level-ontology.kif 7187-7187 Group of animals is a subclass of group
s__instance(s__Group,s__SetOrClass)

s__subclass(s__GroupOfPeople,s__Group)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 15037-15037 Group of people is a subclass of group
s__instance(s__Group,s__SetOrClass)

s__subclass(s__Organization,s__Group)

s__instance(s__Organization,s__SetOrClass)

Merge.kif 15404-15404 Organization is a subclass of group
s__termFormat(s__ChineseLanguage,s__Group,'"群组"')

chinese_format.kif 1063-1063
s__termFormat(s__EnglishLanguage,s__Group,'"group"')

english_format.kif 1342-1342

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


s__domain(s__associateInOrganization__m,n__2,s__Group)

Government.kif 2366-2366 The number 2 argument of associate in organization is an instance of group
s__domain(s__associateWithStatus__m,n__3,s__Group)

Government.kif 2378-2378 The number 3 argument of associate with status is an instance of group
s__domain(s__hasUniform__m,n__1,s__Group)

Mid-level-ontology.kif 24816-24816 The number 1 argument of has uniform is an instance of group

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


( ! [V__E,V__ECLASS,V__G,V__CLASS,V__CS1,V__N] :
   ((s__instance(V__E,s__Object) &
       s__subclass(V__ECLASS,s__ElementalSubstance) &
       s__instance(V__ECLASS,s__SetOrClass) &
       s__instance(V__CLASS,s__SetOrClass) &
       s__subclass(V__CLASS,s__CompoundSubstance) &
       s__instance(V__CS1,s__Object) &
       s__instance(V__N,s__Integer))
     =>
     (s__instance(V__CS1,V__CLASS)
     &
     s__subclass(V__CLASS,s__CompoundSubstance) &
     ~(( ? [V__CS2] :
         ((s__instance(V__CS2,s__Object) &
             (s__instance(V__CS2,V__CLASS)
             &
             s__part(V__CS2,V__CS1))))))
&
s__molecularRatio(V__ECLASS,V__N,V__CLASS)
&
s__instance(V__G,s__Group) &
s__member(V__E,V__G)
&
s__part(V__E,V__CS1)
&
s__instance(V__E,V__ECLASS))
=>
s__memberCount(V__G,V__N)
)
)

Cars.kif 1768-1782
( ! [V__GROUP,V__MEMB] :
   (s__instance(V__MEMB,s__Object) =>
     (s__instance(V__GROUP,s__Group) &
       s__member(V__MEMB,V__GROUP))
   =>
   s__instance(V__MEMB,s__Agent) )
)

Merge.kif 15031-15035

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


( ! [V__INSECT] :
   (s__instance(V__INSECT,s__QueenInsect) =>
     ( ? [V__GROUP] :
       ((s__instance(V__GROUP,s__Group) &
           s__member(V__INSECT,V__GROUP)
         &
         ~(( ? [V__MEMBER] :
             ((s__instance(V__MEMBER,s__Object) &
                 (s__member(V__MEMBER,V__GROUP)
                 &
                 s__capability(s__Replication,s__agent__m,V__MEMBER)
               &
               ~((V__MEMBER = V__INSECT))))))))))
)
)

Mid-level-ontology.kif 10337-10349


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners