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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SaintPierreAndMiquelon
SaintPierreAndMiquelon

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3838-3838 dependentGeopoliticalArea SaintPierreAndMiquelon and France
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3839-3839
No TPTP formula. May not be expressible in strict first order. pictureList.kif 708-708
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 412-412 geographicSubregion SaintPierreAndMiquelon and NorthernNorthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3913-3913 SaintPierreAndMiquelon e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 402-402 SaintPierreAndMiquelon e' uma instancia de Area terrestre

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4083-4083 SaintPierreAndMiquelon se chama nome "Saint Pierre and Miquelon"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50865-50865
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50864-50864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50863-50863

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2877-2877 codeMapping ISO-3166-1-alpha-2, "PM" and SaintPierreAndMiquelon


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