TreeView Knowledge Base Browser - QueenInsect

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 12643-12643	Queen insect is disjoint from worker insect
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12644-12645
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12642-12642	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 48332-48332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48331-48331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48330-48330

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12647-12651	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 12653-12665	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 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