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

Formal Language: 



KB Term:  Term intersection
English Word: 

  absoluteHeight

 Sigma KEE - TelAvivIsrael
TelAvivIsrael

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2371-2371
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3622-3622
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3617-3617
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3616-3616
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3621-3621
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3578-3578 geographicSubregion TelAvivIsrael and Israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2370-2370 TelAvivIsrael est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3579-3579 TelAvivIsrael s'appele nom "Tel Aviv"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3580-3580 TelAvivIsrael s'appele nom "Tel-Aviv"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57254-57254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57253-57253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57252-57252


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