QueenInsect | ![]() |
appearance as argument number 1 |
![]() |
(disjoint QueenInsect WorkerInsect) | Mid-level-ontology.kif 13974-13974 | |
(documentation QueenInsect EnglishLanguage "A Female Insect which is the sole member of her colony with the capability to reproduce.") | Mid-level-ontology.kif 13975-13976 | |
(subclass QueenInsect Insect) | Mid-level-ontology.kif 13973-13973 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage QueenInsect "女王昆虫") | domainEnglishFormat.kif 48334-48334 | |
(termFormat ChineseTraditionalLanguage QueenInsect "女王崑蟲") | domainEnglishFormat.kif 48333-48333 | |
(termFormat EnglishLanguage QueenInsect "queen insect") | domainEnglishFormat.kif 48332-48332 |
antecedent |
![]() |
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 13978-13982 | |
(=> (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 13984-13996 |
![]() |
![]() |