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

Formal Language: 



KB Term:  Term intersection
English Word: 

  niece

 Sigma KEE - niece
niece

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23116-23117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23118-23118 侄女 的 1 数量 是 女人 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23119-23119 侄女 的 2 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23121-23121 侄女 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23120-23120 侄女 是 家属关系 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3978-3978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3977-3977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3976-3976
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40503-40503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40502-40502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40501-40501

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23123-23128 女人 是 人类 的 niece 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 女人 是 那个 生物 的 daughter


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