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 16314-16319
No TPTP formula. May not be expressible in strict first order. Merge.kif 16311-16311 The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16312-16312 The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16310-16310 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 16321-16321 family relation is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. Merge.kif 16322-16322 spouse is a subrelation of relative
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49322-49322
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49321-49321
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49320-49320

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16324-16329


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