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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Group
Group(群组)

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 15098-15099
(externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") pictureList.kif 477-477
(subclass Group Agent) Merge.kif 15097-15097 群组施事体subclass
(subclass Group Collection) Merge.kif 15096-15096 群组群体subclass

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


(range ShipCrewFn Group) Transportation.kif 3254-3254 船员range群组 的实例
(subclass FileSystem Group) engineering.kif 1333-1333 文件系统群组subclass
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 7167-7167 一群动物群组subclass
(subclass GroupOfPeople Group) Merge.kif 15107-15107 一群人群组subclass
(subclass Organization Group) Merge.kif 15477-15477 机构群组subclass
(termFormat ChineseLanguage Group "群组") chinese_format.kif 1063-1063
(termFormat EnglishLanguage Group "group") english_format.kif 1342-1342

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


(domain associateInOrganization 2 Group) Government.kif 2366-2366 在组织中关联 的 2 数量 是 群组instance
(domain associateWithStatus 3 Group) Government.kif 2378-2378 与地位相关联 的 3 数量 是 群组instance
(domain hasUniform 1 Group) Mid-level-ontology.kif 24847-24847 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 1768-1782
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB Agent))
Merge.kif 15101-15105

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 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 3.0 is open source software produced by Articulate Software and its partners