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 16385-16386
(externalImage Group "http://articulatesoftware.com/SUMOpictures/people/ groups/ group.png") pictureList.kif 477-477
(subclass Group AutonomousAgent) Merge.kif 16384-16384 子類 Group and AutonomousAgent
(subclass Group Collection) Merge.kif 16383-16383 子類 Group and Collection

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


(range ShipCrewFn Group) Transportation.kif 4417-4417 範圍 船員 and Group
(subclass FileSystem Group) engineering.kif 1648-1648 子類 文件系統 and Group
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 8643-8643 子類 一群動物 and Group
(subclass GroupOfPeople Group) Merge.kif 16394-16394 子類 一群人 and Group
(subclass Organization Group) Merge.kif 16764-16764 子類 Organization and Group
(termFormat ChineseLanguage Group "群组") chinese_format.kif 1063-1063 子類 Organization and Group
(termFormat EnglishLanguage Group "group") english_format.kif 1337-1337 子類 Organization and Group
(termFormat FrenchLanguage Group "groupe") french_format.kif 741-741 子類 Organization and Group
(termFormat Hindi Group "samUha") terms-hindi.txt 272-272 子類 Organization and Group
(termFormat ItalianLanguage Group "Gruppo") terms-it.txt 275-275 子類 Organization and Group
(termFormat JapaneseLanguage Group "グループ") japanese_format.kif 2425-2425 子類 Organization and Group
(termFormat PortugueseLanguage Group "Grupo") portuguese_format.kif 693-693 子類 Organization and Group
(termFormat cb Group "panagtapok") terms-cb.txt 277-277 子類 Organization and Group
(termFormat cz Group "group") terms-cz.txt 311-311 子類 Organization and Group
(termFormat de Group "Gruppe") terms-de.txt 570-570 子類 Organization and Group
(termFormat ro Group "grup") relations-ro.kif 762-762 子類 Organization and Group
(termFormat tg Group "lupon") terms-tg.txt 276-276 子類 Organization and Group

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


(domain associateInOrganization 2 Group) Government.kif 2386-2386 在組織中關聯, 2 and Group
(domain associateWithStatus 3 Group) Government.kif 2398-2398 與地位相關聯, 3 and Group
(domain hasUniform 1 Group) Mid-level-ontology.kif 28573-28573 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))
Mid-level-ontology.kif 23356-23370
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB AutonomousAgent))
Merge.kif 16388-16392

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 13984-13996


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