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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AndeanSpain
AndeanSpain
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1431-1431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8337-8337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8864-8864
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8865-8865
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8866-8866
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8867-8867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8868-8868
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8869-8869
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8870-8870
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8871-8871
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8873-8873
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8874-8874
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2532-2532 geographicSubregion AndeanSpain and Spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1430-1430 AndeanSpain e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2533-2533 AndeanSpain se chama nome "Andean"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7440-7440
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7439-7439
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7438-7438


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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