| 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 14937-14938 | |
| (externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") | pictureList.kif 477-477 | externalImage Group and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png" |
| (subclass Group Agent) | Merge.kif 14936-14936 | subclass Group and Agent |
| (subclass Group Collection) | Merge.kif 14935-14935 | subclass Group and Collection |
| appearance as argument number 2 |
|
|
| (range ShipCrewFn Group) | Transportation.kif 3245-3245 | range ShipCrewFn and Group |
| (subclass FileSystem Group) | engineering.kif 1329-1329 | subclass FileSystem and Group |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7186-7186 | subclass GroupOfAnimals and Group |
| (subclass GroupOfPeople Group) | Merge.kif 14946-14946 | subclass GroupOfPeople and Group |
| (subclass Organization Group) | Merge.kif 15311-15311 | subclass Organization and Group |
| (termFormat ChineseLanguage Group "群组") | chinese_format.kif 1063-1063 | termFormat ChineseLanguage, Group and "群组" |
| (termFormat EnglishLanguage Group "group") | english_format.kif 1342-1342 | termFormat EnglishLanguage, Group and "group" |
| appearance as argument number 3 |
|
|
| (domain associateInOrganization 2 Group) | Government.kif 2366-2366 | domain associateInOrganization, 2 and Group |
| (domain associateWithStatus 3 Group) | Government.kif 2378-2378 | domain associateWithStatus, 3 and Group |
| (domain hasUniform 1 Group) | Mid-level-ontology.kif 24804-24804 | domain hasUniform, 1 and 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)) |
Cars.kif 1767-1781 |
|
| (=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB Agent)) |
Merge.kif 14940-14944 |
|
| 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 10336-10348 |
|
|
|
|