|
|
| 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 | Group is a subclass of agent |
| (subclass Group Collection) | Merge.kif 16398-16398 | Group is a subclass of collection |
| appearance as argument number 2 |
|
|
| (range ShipCrewFn Group) | Transportation.kif 4419-4419 | The range of ship crew is an instance of group |
| (subclass FileSystem Group) | engineering.kif 1648-1648 | File system is a subclass of group |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 8643-8643 | Group of animals is a subclass of group |
| (subclass GroupOfPeople Group) | Merge.kif 16409-16409 | Group of people is a subclass of group |
| (subclass Organization Group) | Merge.kif 16779-16779 | Organization is a subclass of group |
| (termFormat ChineseLanguage Group "群组") | chinese_format.kif 1063-1063 | Organization is a subclass of group |
| (termFormat EnglishLanguage Group "group") | english_format.kif 1337-1337 | Organization is a subclass of group |
| (termFormat FrenchLanguage Group "groupe") | french_format.kif 741-741 | Organization is a subclass of group |
| (termFormat Hindi Group "samUha") | terms-hindi.txt 272-272 | Organization is a subclass of group |
| (termFormat ItalianLanguage Group "Gruppo") | terms-it.txt 275-275 | Organization is a subclass of group |
| (termFormat JapaneseLanguage Group "グループ") | japanese_format.kif 2425-2425 | Organization is a subclass of group |
| (termFormat PortugueseLanguage Group "Grupo") | portuguese_format.kif 693-693 | Organization is a subclass of group |
| (termFormat cb Group "panagtapok") | terms-cb.txt 277-277 | Organization is a subclass of group |
| (termFormat cz Group "group") | terms-cz.txt 311-311 | Organization is a subclass of group |
| (termFormat de Group "Gruppe") | terms-de.txt 570-570 | Organization is a subclass of group |
| (termFormat ro Group "grup") | relations-ro.kif 762-762 | Organization is a subclass of group |
| (termFormat tg Group "lupon") | terms-tg.txt 276-276 | Organization is a subclass of group |
| appearance as argument number 3 |
|
|
| (domain associateInOrganization 2 Group) | Government.kif 2386-2386 | The number 2 argument of associate in organization is an instance of group |
| (domain associateWithStatus 3 Group) | Government.kif 2398-2398 | The number 3 argument of associate with status is an instance of group |
| (domain hasUniform 1 Group) | Mid-level-ontology.kif 28571-28571 | The number 1 argument of has uniform is an instance of 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 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 |
|
|
|
|
