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 4137-4139
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 770-771
No TPTP formula. May not be expressible in strict first order. Merge.kif 4135-4135 exactlyLocated e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 4134-4134 exactlyLocated e' uma sub-relacao de 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. french_format.kif 73-73
No TPTP formula. May not be expressible in strict first order. relations-it.txt 100-100
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1899-1899
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 25-25
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 130-130
No TPTP formula. May not be expressible in strict first order. relations-de.txt 115-115
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 140-140
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 92-92
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 72-72
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 212-212
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22648-22648
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 22647-22647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22646-22646
No TPTP formula. May not be expressible in strict first order. terms-de.txt 33-33
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 213-213

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4141-4148
No TPTP formula. May not be expressible in strict first order. Merge.kif 4237-4241

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4231-4235
No TPTP formula. May not be expressible in strict first order. Merge.kif 4141-4148


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