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 16400-16401
(externalImage Group "http://articulatesoftware.com/SUMOpictures/people/ groups/ group.png") pictureList.kif 477-477
(subclass Group AutonomousAgent) Merge.kif 16399-16399 グループAutonomousAgentsubclass では
(subclass Group Collection) Merge.kif 16398-16398 グループコレクションsubclass では

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


(range ShipCrewFn Group) Transportation.kif 4419-4419 ShipCrewFnrangeグループ のインスタンス では
(subclass FileSystem Group) engineering.kif 1648-1648 FileSystemグループsubclass では
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 8643-8643 GroupOfAnimalsグループsubclass では
(subclass GroupOfPeople Group) Merge.kif 16409-16409 GroupOfPeopleグループsubclass では
(subclass Organization Group) Merge.kif 16779-16779 組織グループsubclass では
(termFormat ChineseLanguage Group "群组") chinese_format.kif 1063-1063 組織グループsubclass では
(termFormat EnglishLanguage Group "group") english_format.kif 1337-1337 組織グループsubclass では
(termFormat FrenchLanguage Group "groupe") french_format.kif 741-741 組織グループsubclass では
(termFormat Hindi Group "samUha") terms-hindi.txt 272-272 組織グループsubclass では
(termFormat ItalianLanguage Group "Gruppo") terms-it.txt 275-275 組織グループsubclass では
(termFormat JapaneseLanguage Group "グループ") japanese_format.kif 2425-2425 組織グループsubclass では
(termFormat PortugueseLanguage Group "Grupo") portuguese_format.kif 693-693 組織グループsubclass では
(termFormat cb Group "panagtapok") terms-cb.txt 277-277 組織グループsubclass では
(termFormat cz Group "group") terms-cz.txt 311-311 組織グループsubclass では
(termFormat de Group "Gruppe") terms-de.txt 570-570 組織グループsubclass では
(termFormat ro Group "grup") relations-ro.kif 762-762 組織グループsubclass では
(termFormat tg Group "lupon") terms-tg.txt 276-276 組織グループsubclass では

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


(domain associateInOrganization 2 Group) Government.kif 2386-2386 associateInOrganization の数値 2 引数は グループinstance では
(domain associateWithStatus 3 Group) Government.kif 2398-2398 associateWithStatus の数値 3 引数は グループinstance では
(domain hasUniform 1 Group) Mid-level-ontology.kif 28571-28571 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))
Mid-level-ontology.kif 23356-23370
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB AutonomousAgent))
Merge.kif 16403-16407

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