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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exactlyLocated

Sigma KEE - exactlyLocated
exactlyLocated

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2117-2118
No TPTP formula. May not be expressible in strict first order. Merge.kif 4047-4049
No TPTP formula. May not be expressible in strict first order. Merge.kif 4045-4045 exactly located is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4044-4044 exactly located is a subrelation of located

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 101-101
No TPTP formula. May not be expressible in strict first order. english_format.kif 101-101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22641-22641
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 102-102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22640-22640
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22639-22639

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4051-4058
No TPTP formula. May not be expressible in strict first order. Merge.kif 4147-4151

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4141-4145
No TPTP formula. May not be expressible in strict first order. Merge.kif 4051-4058


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