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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - familyRelation
familyRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3683-3685
No TPTP formula. May not be expressible in strict first order. Merge.kif 16334-16336
No TPTP formula. May not be expressible in strict first order. Merge.kif 16332-16332 家属关系 的 1 数量 是 生物instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16333-16333 家属关系 的 2 数量 是 生物instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16331-16331 家属关系二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16321-16321 家属关系相对的subrelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 545-545
No TPTP formula. May not be expressible in strict first order. english_format.kif 550-550
No TPTP formula. May not be expressible in strict first order. french_format.kif 320-320
No TPTP formula. May not be expressible in strict first order. relations-it.txt 108-108
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2088-2088
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order. relations-de.txt 713-713
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 148-148
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 341-341
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 354-354
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 226-226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23043-23043 姑妈家属关系subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23058-23058 表姐家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 663-663 父亲兄弟的女儿家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 651-651 父亲兄弟的儿子家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 603-603 父亲兄弟的妻子家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 711-711 父亲姐妹的女儿家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 627-627 父亲姐妹的丈夫家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 699-699 父亲姐妹的儿子家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 592-592 母方的姑妈家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 570-570 母方的叔叔家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 687-687 母亲兄弟的女儿家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 675-675 母亲兄弟的儿子家属关系subrelation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 615-615 妈妈兄弟的妻子家属关系subrelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. Merge.kif 16338-16343

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7269-7274
No TPTP formula. May not be expressible in strict first order. Merge.kif 16263-16270


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