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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Group

Sigma KEE - Group
Group(群组)

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


(documentation Group ChineseLanguage "这是一个 CollectionAgent,例如:一群绵羊、一群山羊 或一队当地的童子军。") Merge.kif 16431-16432
(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 16429-16430
(externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") pictureList.kif 477-477 externalImage 群组 and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png"
(subclass Group Agent) Merge.kif 16428-16428 群组施事体subclass
(subclass Group Collection) Merge.kif 16427-16427 群组群体subclass

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


(range ShipCrewFn Group) Transportation.kif 3220-3220 ShipCrewFnrange群组 的实例
(subclass FileSystem Group) engineering.kif 1329-1329 FileSystem群组subclass
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 7185-7185 GroupOfAnimals群组subclass
(subclass GroupOfPeople Group) Merge.kif 16440-16440 GroupOfPeople群组subclass
(subclass Organization Group) Merge.kif 16856-16856 机构群组subclass
(termFormat ChineseLanguage Group "群组") chinese_format.kif 1063-1063 termFormat ChineseLanguage, 群组 and "群组"
(termFormat EnglishLanguage Group "group") english_format.kif 1260-1260 termFormat EnglishLanguage, 群组 and "group"
(termFormat JapaneseLanguage Group "グループ") english_format.kif 1261-1261 termFormat JapaneseLanguage, 群组 and "グループ"

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


(domain associateInOrganization 2 Group) Government.kif 2372-2372 associateInOrganization 的 2 数量 是 群组instance
(domain associateWithStatus 3 Group) Government.kif 2384-2384 associateWithStatus 的 3 数量 是 群组instance
(domain hasUniform 1 Group) Mid-level-ontology.kif 24803-24803 hasUniform 的 1 数量 是 群组instance

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 1767-1781
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB Agent))
Merge.kif 16434-16438

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 10334-10346


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