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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Group

Sigma KEE - Group
Group(groupe)

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


(documentation Group ChineseLanguage "这是一个 CollectionAgent,例如:一群绵羊、一群山羊 或一队当地的童子军。") chinese_format.kif 3668-3669
(documentation Group EnglishLanguage "A Collection of Agents, e.g. a flock of sheep, a herd of goats, or the local Boy Scout troop.") Merge.kif 16225-16226
(externalImage Group "http://articulatesoftware.com/SUMOpictures/people/ groups/ group.png") pictureList.kif 477-477
(subclass Group AutonomousAgent) Merge.kif 16224-16224 Groupe est une sous-classe de AutonomousAgent
(subclass Group Collection) Merge.kif 16223-16223 Groupe est une sous-classe de collection

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


(range ShipCrewFn Group) Transportation.kif 3276-3276 Le domaine de ShipCrewFn est une instance de groupe
(subclass FileSystem Group) engineering.kif 1335-1335 FileSystem est une sous-classe de groupe
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 7476-7476 GroupOfAnimals est une sous-classe de groupe
(subclass GroupOfPeople Group) Merge.kif 16234-16234 GroupOfPeople est une sous-classe de groupe
(subclass Organization Group) Merge.kif 16604-16604 Organisation est une sous-classe de groupe
(termFormat ChineseLanguage Group "群组") chinese_format.kif 1063-1063
(termFormat EnglishLanguage Group "group") english_format.kif 1337-1337
(termFormat FrenchLanguage Group "groupe") french_format.kif 741-741
(termFormat Hindi Group "samUha") terms-hindi.txt 272-272
(termFormat ItalianLanguage Group "Gruppo") terms-it.txt 275-275
(termFormat JapaneseLanguage Group "グループ") japanese_format.kif 2425-2425
(termFormat PortugueseLanguage Group "Grupo") portuguese_format.kif 693-693
(termFormat cb Group "panagtapok") terms-cb.txt 277-277
(termFormat cz Group "group") terms-cz.txt 311-311
(termFormat ro Group "grup") relations-ro.kif 762-762
(termFormat tg Group "lupon") terms-tg.txt 276-276

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


(domain associateInOrganization 2 Group) Government.kif 2425-2425 Le nombre 2 argument de associateInOrganization est une instance de groupe
(domain associateWithStatus 3 Group) Government.kif 2437-2437 Le nombre 3 argument de associateWithStatus est une instance de groupe
(domain hasUniform 1 Group) Mid-level-ontology.kif 26672-26672 Le nombre 1 argument de hasUniform est une instance de groupe

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


(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (exists (?CS2)
                (and
                    (instance ?CS2 ?CLASS)
                    (part ?CS2 ?CS1))))
        (molecularRatio ?ECLASS ?N ?CLASS)
        (instance ?G Group)
        (member ?E ?G)
        (part ?E ?CS1)
        (instance ?E ?ECLASS))
    (memberCount ?G ?N))
Cars.kif 1772-1786
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB AutonomousAgent))
Merge.kif 16228-16232

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


(=>
    (instance ?INSECT QueenInsect)
    (exists (?GROUP)
        (and
            (instance ?GROUP Group)
            (member ?INSECT ?GROUP)
            (not
                (exists (?MEMBER)
                    (and
                        (member ?MEMBER ?GROUP)
                        (capability Replication agent ?MEMBER)
                        (not
                            (equal ?MEMBER ?INSECT))))))))
Mid-level-ontology.kif 12653-12665


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