Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Group CollectionOfObjects) | Merge.kif 16582-16582 | Group is a subclass of collection |
| (subclass Group AutonomousAgent) | Merge.kif 16583-16583 | Group is a subclass of agent |
| (documentation Group EnglishLanguage "A CollectionOfObjects of Agents, e.g. a flock of sheep, a herd of goats, or the local Boy Scout troop.") | Merge.kif 16584-16585 | Group is a subclass of agent |
| (externalImage Group "http://articulatesoftware.com/SUMOpictures/people/ groups/ group.png") | pictureList.kif 477-477 | Group is a subclass of agent |
| appearance as argument number 2 |
|
|
| (subclass GroupOfPeople Group) | Merge.kif 16593-16593 | Group of people is a subclass of group |
| (subclass Organization Group) | Merge.kif 16961-16961 | Organization is a subclass of group |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 8797-8797 | Group of animals is a subclass of group |
| (range ShipCrewFn Group) | Transportation.kif 4959-4959 | The range of ship crew is an instance of group |
| (subclass FileSystem Group) | engineering.kif 1760-1760 | File system is a subclass of group |
| (termFormat EnglishLanguage Group "group") | english_format.kif 1341-1341 | File system is a subclass of group |
| appearance as argument number 3 |
|
|
| (domain hasUniform 1 Group) | Mid-level-ontology.kif 29266-29266 | The number 1 argument of has uniform is an instance of group |
| (domain associateInOrganization 2 Group) | Government.kif 2417-2417 | The number 2 argument of associate in organization is an instance of group |
| (domain associateWithStatus 3 Group) | Government.kif 2429-2429 | The number 3 argument of associate with status is an instance of group |
| antecedent |
|
|
| (=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB AutonomousAgent)) |
Merge.kif 16587-16591 | If X is an instance of group and Y is a member of X, then Y is an instance of agent |
| (=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (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 24008-24021 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) ~{ Z is an instance of Y } or ~{ Z is a part of X } (4) the number of molecules of W in a molecule of Y is V (5) U is an instance of group (6) T is a member of U (7) T is a part of X (8) T is an instance of W, then V is a member count of U |
| 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 14270-14282 | If X is an instance of queen insect, then there exists Y such that Y is an instance of group, X is a member of Y, there doesn't exist Z such that Z is a member of Y, Z is capable of doing replication as a agent, equal Z, and X |
|
