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	Le nombre 1 argument de aunt est une instance de Woman
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23042-23042	Le nombre 2 argument de aunt est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23044-23044	aunt est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23043-23043	aunt est une sous-relation 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 humain humain sister Woman and humain humain est un parent de humain

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