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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DublinIreland
DublinIreland(dublin ireland)
more pictures...
Dublin, Irish_capital, capital_of_Ireland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1681-1681
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4125-4125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4120-4120
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4122-4122
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4123-4123
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4121-4121
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4668-4668
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2798-2798 Dublin ireland is a geographic subregion of ireland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1680-1680 Dublin ireland is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2799-2799 Dublin ireland has name "Dublin"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20646-20646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20645-20645
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20644-20644


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