| 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 | 群组 是 施事体 的 subclass |
| (subclass Group Collection) | Merge.kif 16398-16398 | 群组 是 群体 的 subclass |
| appearance as argument number 2 |
|
|
| (range ShipCrewFn Group) | Transportation.kif 4419-4419 | 船员 的 range 是 群组 的实例 |
| (subclass FileSystem Group) | engineering.kif 1648-1648 | 文件系统 是 群组 的 subclass |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 8643-8643 | 一群动物 是 群组 的 subclass |
| (subclass GroupOfPeople Group) | Merge.kif 16409-16409 | 一群人 是 群组 的 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 | 在组织中关联 的 2 数量 是 群组 的 instance |
| (domain associateWithStatus 3 Group) | Government.kif 2398-2398 | 与地位相关联 的 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 |
|
|
|