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 23115-23116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23117-23117 域 侄女, 1 and 女人
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23118-23118 域 侄女, 2 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23120-23120 例 侄女 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23119-23119 子關係 侄女 and 家庭關係

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 23122-23127 女人 是 Human 的 niece Organism 兄弟 Organism and Human 女人 是 Organism 的 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