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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - relative
relative

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3680-3682
No TPTP formula. May not be expressible in strict first order. Merge.kif 16489-16494
No TPTP formula. May not be expressible in strict first order. Merge.kif 16486-16486 The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16487-16487 The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16485-16485 relative is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2135-2135
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2134-2134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2133-2133
No TPTP formula. May not be expressible in strict first order. Merge.kif 16496-16496 family relation is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. Merge.kif 16497-16497 spouse is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49326-49326 spouse is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49325-49325 spouse is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49324-49324 spouse is a subrelation of relative

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16499-16504


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