Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - niece
niece

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19553-19554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19555-19555 The number 1 argument of niece is an instance of woman
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19556-19556 The number 2 argument of niece is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19558-19558 niece is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19557-19557 niece is a subrelation of family relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3983-3983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3982-3982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3981-3981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40488-40488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40487-40487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40486-40486

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19560-19565 A woman is the niece of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism


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