QueenInsect - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - QueenInsect

QueenInsect(queen insect)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13992-13992	Queen insect is disjoint from worker insect
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13993-13994	Queen insect is disjoint from worker insect
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13991-13991	Queen insect is a subclass of insect

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48363-48363
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48362-48362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48361-48361

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13996-14000	If an object is an instance of queen insect, then female is an attribute of the object and the object is capable of doing replication as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14002-14014	If a physical is an instance of queen insect, then there exists a collection such that the collection is an instance of group and the physical is a member of the collection and there doesn't exist an object such that the object is a member of the collection and the object is capable of doing replication as a agent and the object is not equal to the physical

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