| Group(グループ)
| |
| appearance as argument number 1 |
|
|
| (documentation Group ChineseLanguage "这是一个 Collection 的 Agent，例如：一群绵羊、一群山羊 或一队当地的童子军。") | Merge.kif 16431-16432 | |
| (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 16429-16430 | |
| (externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") | pictureList.kif 477-477 | externalImage グループ and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png" |
| (subclass Group Agent) | Merge.kif 16428-16428 | subclass グループ and 代理(人) |
| (subclass Group Collection) | Merge.kif 16427-16427 | subclass グループ and コレクション |
| appearance as argument number 2 |
|
|
| (range ShipCrewFn Group) | Transportation.kif 3220-3220 | range ShipCrewFn and グループ |
| (subclass FileSystem Group) | engineering.kif 1329-1329 | subclass FileSystem and グループ |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7185-7185 | subclass GroupOfAnimals and グループ |
| (subclass GroupOfPeople Group) | Merge.kif 16440-16440 | subclass GroupOfPeople and グループ |
| (subclass Organization Group) | Merge.kif 16856-16856 | subclass 組織 and グループ |
| (termFormat ChineseLanguage Group "群组") | chinese_format.kif 1063-1063 | termFormat ChineseLanguage, グループ and "群组" |
| (termFormat EnglishLanguage Group "group") | english_format.kif 1260-1260 | termFormat EnglishLanguage, グループ and "group" |
| (termFormat JapaneseLanguage Group "グループ") | english_format.kif 1261-1261 | termFormat JapaneseLanguage, グループ and "グループ" |
| appearance as argument number 3 |
|
|
| (domain associateInOrganization 2 Group) | Government.kif 2372-2372 | domain associateInOrganization, 2 and グループ |
| (domain associateWithStatus 3 Group) | Government.kif 2384-2384 | domain associateWithStatus, 3 and グループ |
| (domain hasUniform 1 Group) | Mid-level-ontology.kif 24803-24803 | domain hasUniform, 1 and グループ |
| 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 16434-16438 |
| 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 10334-10346 |
|
|
|