TreeView Knowledge Base Browser - aunt

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

aunt

Sigma KEE - aunt

aunt

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23039-23040
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23041-23041	O argumento numero 1 de aunt e' uma instancia de Woman
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23042-23042	O argumento numero 2 de aunt e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23044-23044	aunt e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23043-23043	aunt e' uma sub-relacao de familyRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2850-2850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2849-2849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2848-2848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9060-9060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9059-9059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9058-9058

antecedent

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

Mid-level-ontology.kif 23046-23051

aunt Woman and Humano Humano sister Woman and Humano Humano e' um genitor de Humano

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