Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QueenInsect
QueenInsect

appearance as argument number 1
-------------------------


(disjoint QueenInsect WorkerInsect) Mid-level-ontology.kif 10326-10326 disjoint QueenInsect and WorkerInsect
(documentation QueenInsect EnglishLanguage "A Female Insect which is the sole member of her colony with the capability to reproduce.") Mid-level-ontology.kif 10327-10328
(subclass QueenInsect Insect) Mid-level-ontology.kif 10325-10325 subclass QueenInsect and Insect

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage QueenInsect "女王昆虫") domainEnglishFormat.kif 48271-48271 termFormat ChineseLanguage, QueenInsect and "女王昆虫"
(termFormat ChineseTraditionalLanguage QueenInsect "女王崑蟲") domainEnglishFormat.kif 48270-48270 termFormat ChineseTraditionalLanguage, QueenInsect and "女王崑蟲"
(termFormat EnglishLanguage QueenInsect "queen insect") domainEnglishFormat.kif 48269-48269 termFormat EnglishLanguage, QueenInsect and "queen insect"

antecedent
-------------------------


(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 10330-10334
(=>
    (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 10336-10348


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners