| QueenInsect | |
| appearance as argument number 1 |
|
|
| (disjoint QueenInsect WorkerInsect) | Mid-level-ontology.kif 10324-10324 | |
| (documentation QueenInsect EnglishLanguage "A Female Insect which is the sole member of her colony with the capability to reproduce.") | Mid-level-ontology.kif 10325-10326 | |
| (subclass QueenInsect Insect) | Mid-level-ontology.kif 10323-10323 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage QueenInsect "女王昆虫") | domainEnglishFormat.kif 48260-48260 | |
| (termFormat ChineseTraditionalLanguage QueenInsect "女王崑蟲") | domainEnglishFormat.kif 48259-48259 | |
| (termFormat EnglishLanguage QueenInsect "queen insect") | domainEnglishFormat.kif 48258-48258 |
| antecedent |
|
|
| (=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 10328-10332 | |
| (=> (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 |
|
|
|