Group(グループ)![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Group ChineseLanguage "这是一个 Collection 的 Agent,例如:一群绵羊、一群山羊 或一队当地的童子军。") | 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 | グループ は AutonomousAgent の subclass では |
(subclass Group Collection) | Merge.kif 16398-16398 | グループ は コレクション の subclass では |
appearance as argument number 2 |
![]() |
(range ShipCrewFn Group) | Transportation.kif 4419-4419 | ShipCrewFn の range は グループ のインスタンス では |
(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 |
![]() |
![]() |