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

Formal Language: 



KB Term:  Term intersection
English Word: 

  acquaintance

Sigma KEE - acquaintance
acquaintance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3707-3709
No TPTP formula. May not be expressible in strict first order. Merge.kif 16535-16539
No TPTP formula. May not be expressible in strict first order. Merge.kif 16541-16541 The number 1 argument of acquaintance is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16542-16542 The number 2 argument of acquaintance is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16533-16533 acquaintance is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23343-23343 stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52-52
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51-51
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50-50
No TPTP formula. May not be expressible in strict first order. Merge.kif 16555-16555 mutual acquaintance is a subrelation of acquaintance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5328-5328
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5327-5327
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5326-5326


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