Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   QueenInsect
|
|
|
| appearance as argument number 1 |
|
|
| (subclass QueenInsect Insect) | Mid-level-ontology.kif 14259-14259 | Queen insect is a subclass of insect |
| (disjoint QueenInsect WorkerInsect) | Mid-level-ontology.kif 14260-14260 | Queen insect is disjoint from worker insect |
| (documentation QueenInsect EnglishLanguage "A Female Insect which is the sole member of her colony with the capability to reproduce.") | Mid-level-ontology.kif 14261-14262 | Queen insect is disjoint from worker insect |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 14264-14268 | If X is an instance of queen insect, then female is an attribute of X and X is capable of doing replication as a agent |
| (=> (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 |
|