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 15971-15972
(externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") pictureList.kif 477-477
(subclass Group Agent) Merge.kif 15970-15970 subclass Group and Agent
(subclass Group Collection) Merge.kif 15969-15969 subclass Group and Collection

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


(range ShipCrewFn Group) Transportation.kif 3275-3275 range ShipCrewFn and Group
(subclass FileSystem Group) engineering.kif 1334-1334 subclass FileSystem and Group
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 7191-7191 subclass GroupOfAnimals and Group
(subclass GroupOfPeople Group) Merge.kif 15980-15980 subclass GroupOfPeople and Group
(subclass Organization Group) Merge.kif 16350-16350 subclass Organization and Group
(termFormat ChineseLanguage Group "群组") chinese_format.kif 1063-1063
(termFormat EnglishLanguage Group "group") english_format.kif 1337-1337

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


(domain associateInOrganization 2 Group) Government.kif 2422-2422 domain associateInOrganization, 2 and Group
(domain associateWithStatus 3 Group) Government.kif 2434-2434 domain associateWithStatus, 3 and Group
(domain hasUniform 1 Group) Mid-level-ontology.kif 26136-26136 domain hasUniform, 1 and Group

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 Agent))
Merge.kif 15974-15978

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 12173-12185


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