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 14937-14938
(externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") pictureList.kif 477-477
(subclass Group Agent) Merge.kif 14936-14936
(subclass Group Collection) Merge.kif 14935-14935

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


(range ShipCrewFn Group) Transportation.kif 3245-3245
(subclass FileSystem Group) engineering.kif 1329-1329
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 7186-7186
(subclass GroupOfPeople Group) Merge.kif 14946-14946
(subclass Organization Group) Merge.kif 15311-15311
(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
(domain associateWithStatus 3 Group) Government.kif 2378-2378
(domain hasUniform 1 Group) Mid-level-ontology.kif 24804-24804

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 14940-14944

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 10336-10348


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