Moth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Moth

Moth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12661-12661
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 606-606
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12660-12660	Moth e' uma sub-classe de Inseto

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38675-38675
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38674-38674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38673-38673

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12633-12643

Fisico e' uma instancia de Caterpillar
Entidade Entidade e' igual a Fisico Larval e' um atributo de Entidade Entidade e' uma instancia de Moth Entidade e' uma instancia de Butterfly vale durante tempo de existencia de Fisico

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