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 The number 1 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16333-16333 The number 2 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16331-16331 family relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16321-16321 family relation is a subrelation of relative

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 aunt is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23058-23058 cousin is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 663-663 fathers brothers daughter is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 651-651 fathers brothers son is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 603-603 fathers brothers wife is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 711-711 fathers sisters daughter is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 627-627 fathers sisters husband is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 699-699 fathers sisters son is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 592-592 maternal aunt is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 570-570 maternal uncle is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 687-687 mothers brothers daughter is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 675-675 mothers brothers son is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 615-615 mothers brothers wife is a subrelation of family relation

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