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

Formal Language: 



KB Term:  Term intersection
English Word: 

  relative

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 16032-16037
No TPTP formula. May not be expressible in strict first order. Merge.kif 16029-16029 The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16030-16030 The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16028-16028 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 2131-2131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2130-2130
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2129-2129
No TPTP formula. May not be expressible in strict first order. Merge.kif 16039-16039 family relation is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. Merge.kif 16040-16040 spouse is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49305-49305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49304-49304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49303-49303

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


No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Merge.kif 16042-16047


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