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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - geographicSubregion
geographicSubregion

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18424-18425
No TPTP formula. May not be expressible in strict first order. Merge.kif 18421-18423
No TPTP formula. May not be expressible in strict first order. Merge.kif 18419-18419 The number 1 argument of geographic subregion is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 18420-18420 The number 2 argument of geographic subregion is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 18416-18416 geographic subregion is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 18414-18414 geographic subregion is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18415-18415 geographic subregion is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 18418-18418 geographic subregion is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Merge.kif 18417-18417 geographic subregion is a subrelation of proper part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1097-1097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1096-1096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1095-1095
No TPTP formula. May not be expressible in strict first order. Merge.kif 18466-18466 geopolitical subdivision is a subrelation of geographic subregion
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25705-25705 "地理分区域" is the printable form of geographic subregion in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25704-25704 "地理分區域" is the printable form of geographic subregion in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25703-25703 "geographic subregion" is the printable form of geographic subregion in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1902-1913
No TPTP formula. May not be expressible in strict first order. Geography.kif 1881-1892
No TPTP formula. May not be expressible in strict first order. Media.kif 349-357
No TPTP formula. May not be expressible in strict first order. Geography.kif 5044-5059
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21297-21301
No TPTP formula. May not be expressible in strict first order. Geography.kif 2199-2204
No TPTP formula. May not be expressible in strict first order. Geography.kif 504-509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22517-22522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22524-22531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22478-22483
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22485-22490
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22592-22597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22599-22604

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2037-2047
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Geography.kif 1902-1913
No TPTP formula. May not be expressible in strict first order. Geography.kif 1881-1892
No TPTP formula. May not be expressible in strict first order. Geography.kif 490-495
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
No TPTP formula. May not be expressible in strict first order. Geography.kif 342-346
No TPTP formula. May not be expressible in strict first order. Geography.kif 2176-2184
No TPTP formula. May not be expressible in strict first order. Geography.kif 2127-2139
No TPTP formula. May not be expressible in strict first order. Geography.kif 2085-2095
No TPTP formula. May not be expressible in strict first order. Geography.kif 3361-3363
No TPTP formula. May not be expressible in strict first order. Geography.kif 3314-3316
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22570-22573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22458-22461
No TPTP formula. May not be expressible in strict first order. Transportation.kif 862-867
No TPTP formula. May not be expressible in strict first order. Weather.kif 395-401
No TPTP formula. May not be expressible in strict first order. Geography.kif 5012-5020

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2495-2495 Adana turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2497-2497 Addis ababa ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2499-2499 Aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2501-2501 Adora west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 567-567 Afghanistan is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 3371-3371 Africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2503-2503 Afula israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2505-2505 Agri turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2507-2507 Ain defla algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2509-2509 Ain el hajar algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2511-2511 Ajaccio france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2513-2513 Al balamand lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 370-370 Albania is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2515-2515 Alei sinai gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2517-2517 Alei zahav west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2519-2519 Aley lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 116-116 Algeria is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2521-2521 Algiers algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2523-2523 Alkhan yurt russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2525-2525 Alon moreh west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2527-2527 Ambon indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 659-659 American samoa is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2529-2529 Amman jordan is a geographic subregion of jordan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2531-2531 An nuwaydirat bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2533-2533 Andean spain is a geographic subregion of spain

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners