|
|
| 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 15566-15567 | |
| (externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") | pictureList.kif 477-477 | |
| (subclass Group Agent) | Merge.kif 15565-15565 | Group is a subclass of agent |
| (subclass Group Collection) | Merge.kif 15564-15564 | Group is a subclass of collection |
| appearance as argument number 2 |
|
|
| (range ShipCrewFn Group) | Transportation.kif 3283-3283 | The range of ship crew is an instance of group |
| (subclass FileSystem Group) | engineering.kif 1334-1334 | File system is a subclass of group |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7128-7128 | Group of animals is a subclass of group |
| (subclass GroupOfPeople Group) | Merge.kif 15575-15575 | Group of people is a subclass of group |
| (subclass Organization Group) | Merge.kif 15945-15945 | Organization is a subclass of group |
| (termFormat ChineseLanguage Group "群组") | chinese_format.kif 1063-1063 | |
| (termFormat EnglishLanguage Group "group") | english_format.kif 1337-1337 |
| appearance as argument number 3 |
|
|
| (domain associateInOrganization 2 Group) | Government.kif 2411-2411 | The number 2 argument of associate in organization is an instance of group |
| (domain associateWithStatus 3 Group) | Government.kif 2423-2423 | The number 3 argument of associate with status is an instance of group |
| (domain hasUniform 1 Group) | Mid-level-ontology.kif 25875-25875 | 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)) |
Cars.kif 1772-1786 |
|
| (=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB Agent)) |
Merge.kif 15569-15573 |
|
| 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 11985-11997 |
|
|
|
|
