|
|
   Group
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Group ChineseLanguage "这是一个 Collection 的 Agent，例如：一群绵羊、一群山羊 或一队当地的童子军。") | Merge.kif 16379-16380 | |
| (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 16377-16378 | |
| (externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") | pictureList.kif 477-477 | |
| (subclass Group Agent) | Merge.kif 16376-16376 | |
| (subclass Group Collection) | Merge.kif 16375-16375 |
| appearance as argument number 2 |
|
|
| (range ShipCrewFn Group) | Transportation.kif 3193-3193 | |
| (subclass FileSystem Group) | engineering.kif 1329-1329 | |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7185-7185 | |
| (subclass GroupOfPeople Group) | Merge.kif 16388-16388 | |
| (subclass Organization Group) | Merge.kif 16804-16804 | |
| (termFormat ChineseLanguage Group "群组") | chinese_format.kif 1063-1063 | |
| (termFormat EnglishLanguage Group "group") | english_format.kif 750-750 | |
| (termFormat FrenchLanguage Group "groupe") | french_format.kif 741-741 | |
| (termFormat Hindi Group "samUha") | terms-hindi.txt 272-272 | |
| (termFormat ItalianLanguage Group "Gruppo") | terms-it.txt 273-273 | |
| (termFormat PortugueseLanguage Group "Grupo") | portuguese_format.kif 693-693 | |
| (termFormat cb Group "panagtapok") | terms-cb.txt 277-277 | |
| (termFormat cz Group "group") | terms-cz.txt 311-311 | |
| (termFormat tg Group "lupon") | terms-tg.txt 276-276 |
| appearance as argument number 3 |
|
|
| (domain associateInOrganization 2 Group) | Government.kif 2372-2372 | |
| (domain associateWithStatus 3 Group) | Government.kif 2384-2384 | |
| (domain hasUniform 1 Group) | Mid-level-ontology.kif 24723-24723 |
| 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 16382-16386 |
| 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 |
|
|
|
