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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FalklandIslands

Sigma KEE - FalklandIslands
FalklandIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3766-3766 dependentGeopoliticalArea FalklandIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3767-3767
No TPTP formula. May not be expressible in strict first order. pictureList.kif 423-423
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 517-517 geographicSubregion FalklandIslands and SouthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3875-3875 FalklandIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 492-492 FalklandIslands e' uma instancia de Area terrestre

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4135-4135 FalklandIslands se chama nome "Falkland Islands"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23170-23170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23169-23169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23168-23168

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


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


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