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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QueenInsect
QueenInsect(queen insect)queen

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


(disjoint QueenInsect WorkerInsect) Mid-level-ontology.kif 13539-13539 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 13540-13541 Queen insect is disjoint from worker insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 13538-13538 Queen insect is a subclass of insect

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


(termFormat ChineseLanguage QueenInsect "女王昆虫") domainEnglishFormat.kif 48363-48363
(termFormat ChineseTraditionalLanguage QueenInsect "女王崑蟲") domainEnglishFormat.kif 48362-48362
(termFormat EnglishLanguage QueenInsect "queen insect") domainEnglishFormat.kif 48361-48361

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


(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))		 Mid-level-ontology.kif 13543-13547
(=>
    (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 13549-13561


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 3.0 is open source software produced by Articulate Software and its partners