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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geographicSubregion

Sigma KEE - geographicSubregion
geographicSubregion

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1438-1439
No TPTP formula. May not be expressible in strict first order. Merge.kif 13802-13804
No TPTP formula. May not be expressible in strict first order. Merge.kif 13800-13800 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 13801-13801 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 13797-13797 geographic subregion is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13795-13795 geographic subregion is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13796-13796 geographic subregion is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13799-13799 geographic subregion is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Merge.kif 13798-13798 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 13842-13842 geopolitical subdivision is a subrelation of geographic subregion
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25767-25767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25766-25766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25765-25765

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1967-1978
No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957
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 5278-5293
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22834-22838
No TPTP formula. May not be expressible in strict first order. Geography.kif 2267-2272
No TPTP formula. May not be expressible in strict first order. Geography.kif 507-512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24096-24101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24103-24110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24057-24062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24064-24069
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24171-24176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24178-24183

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2095-2109
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 1967-1978
No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957
No TPTP formula. May not be expressible in strict first order. Geography.kif 493-498
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2515-2529
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. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8207-8225
No TPTP formula. May not be expressible in strict first order. Geography.kif 2242-2252
No TPTP formula. May not be expressible in strict first order. Geography.kif 2181-2199
No TPTP formula. May not be expressible in strict first order. Geography.kif 2141-2155
No TPTP formula. May not be expressible in strict first order. Geography.kif 3437-3439
No TPTP formula. May not be expressible in strict first order. Geography.kif 3390-3392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24149-24152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24037-24040
No TPTP formula. May not be expressible in strict first order. Transportation.kif 888-893
No TPTP formula. May not be expressible in strict first order. Weather.kif 619-625
No TPTP formula. May not be expressible in strict first order. Geography.kif 5246-5254

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2494-2494 Adana turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2496-2496 Addis ababa ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2498-2498 Aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2500-2500 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 3447-3447 Africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2502-2502 Afula israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2504-2504 Agri turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2506-2506 Ain defla algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2508-2508 Ain el hajar algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2510-2510 Ajaccio france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2512-2512 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 2514-2514 Alei sinai gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2516-2516 Alei zahav west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2518-2518 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 2520-2520 Algiers algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2522-2522 Alkhan yurt russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2524-2524 Alon moreh west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2526-2526 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 2528-2528 Amman jordan is a geographic subregion of jordan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2530-2530 An nuwaydirat bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2532-2532 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 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