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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProvidenceRhodeIsland
ProvidenceRhodeIsland(providence rhode island)
more pictures...
Providence, capital_of_Rhode_Island

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 771-771 Rhode island is a capital city of providence rhode island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 772-773
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5449-5449
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5445-5445
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5447-5447
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5448-5448
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5446-5446
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5443-5443
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5160-5160
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5444-5444
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 770-770 Providence rhode island is an instance of american city

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47894-47894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47893-47893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47892-47892


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