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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QueenInsect

Sigma KEE - QueenInsect
QueenInsect

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


(disjoint QueenInsect WorkerInsect) Mid-level-ontology.kif 12104-12104
(documentation QueenInsect EnglishLanguage "A Female Insect which is the sole member of her colony with the capability to reproduce.") Mid-level-ontology.kif 12105-12106
(subclass QueenInsect Insect) Mid-level-ontology.kif 12103-12103

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


(termFormat ChineseLanguage QueenInsect "女王昆虫") domainEnglishFormat.kif 48315-48315
(termFormat ChineseTraditionalLanguage QueenInsect "女王崑蟲") domainEnglishFormat.kif 48314-48314
(termFormat EnglishLanguage QueenInsect "queen insect") domainEnglishFormat.kif 48313-48313

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


(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 12108-12112
(=>
    (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 12114-12126


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners