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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VitrollesFrance

 Sigma KEE - VitrollesFrance
VitrollesFrance(vitrolles france)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2434-2434
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3653-3653 Vitrolles france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2433-2433 Vitrolles france is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3654-3654 Vitrolles france has name "Vitrolles"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61814-61814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61813-61813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61812-61812


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