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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Jordan

Sigma KEE - Jordan
Jordan

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3241-3241 currencyType Jordan and JordanianDinar
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1269-1269
No TPTP formula. May not be expressible in strict first order. Economy.kif 664-664 economyType Jordan and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 280-280 economyType Jordan and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 531-531
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 252-252 geographicSubregion Jordan and MiddleEastRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 253-253 Jordan e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2528-2528 geographicSubregion AmmanJordan and Jordan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4007-4007 Jordan se chama nome "Jordan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31771-31771
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31770-31770
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31769-31769

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


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


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