![]() |
![]() ![]() ![]()
|
![]() |
|
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 15098-15099 | |
(externalImage Group "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ groups/ group.png") | pictureList.kif 477-477 | |
(subclass Group Agent) | Merge.kif 15097-15097 | |
(subclass Group Collection) | Merge.kif 15096-15096 |
appearance as argument number 2 |
![]() |
(range ShipCrewFn Group) | Transportation.kif 3254-3254 | |
(subclass FileSystem Group) | engineering.kif 1333-1333 | |
(subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7167-7167 | |
(subclass GroupOfPeople Group) | Merge.kif 15107-15107 | |
(subclass Organization Group) | Merge.kif 15477-15477 | |
(termFormat ChineseLanguage Group "群组") | chinese_format.kif 1063-1063 | |
(termFormat EnglishLanguage Group "group") | english_format.kif 1342-1342 |
appearance as argument number 3 |
![]() |
(domain associateInOrganization 2 Group) | Government.kif 2366-2366 | |
(domain associateWithStatus 3 Group) | Government.kif 2378-2378 | |
(domain hasUniform 1 Group) | Mid-level-ontology.kif 24847-24847 |
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 1768-1782 | |
(=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB Agent)) |
Merge.kif 15101-15105 |
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 |
![]() |
![]() |