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 14049-14051
No TPTP formula. May not be expressible in strict first order. Merge.kif 14047-14047 地理分區域, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14048-14048 地理分區域, 2 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14044-14044 地理分區域 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14042-14042 地理分區域 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14043-14043 地理分區域 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14046-14046 子關係 地理分區域 and 位於
No TPTP formula. May not be expressible in strict first order. Merge.kif 14045-14045 子關係 地理分區域 and 適當的部分

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 14089-14089 子關係 地緣政治細分 and 地理分區域
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25776-25776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25775-25775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25774-25774

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1964-1975
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
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 5380-5395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23387-23391
No TPTP formula. May not be expressible in strict first order. Geography.kif 2264-2269
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 24722-24727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24729-24736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24683-24688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24690-24695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24797-24802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24804-24809

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2092-2106
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 1964-1975
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
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 2516-2530
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 2239-2249
No TPTP formula. May not be expressible in strict first order. Geography.kif 2178-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 2138-2152
No TPTP formula. May not be expressible in strict first order. Geography.kif 3515-3517
No TPTP formula. May not be expressible in strict first order. Geography.kif 3468-3470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24775-24778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24663-24666
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 5348-5356

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2494-2494 阿達納土耳其火雞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2496-2496 亞的斯亞貝巴埃塞俄比亞埃塞俄比亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2498-2498 腺也門葉門geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2500-2500 阿多拉西岸西方銀行geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 567-567 阿富汗南亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 3525-3525 非洲東半球geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2502-2502 阿富拉以色列以色列geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2504-2504 阿格里土耳其火雞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2506-2506 Ain defla 阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2508-2508 Ain el hajar 阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2510-2510 Ajaccio 法國法國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2512-2512 Al balamand 黎巴嫩黎巴嫩geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 370-370 阿爾巴尼亞東南歐geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2514-2514 Alei sinai 加沙地帶加沙地帶geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2516-2516 Alei zahav 西方銀行西方銀行geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2518-2518 阿萊黎巴嫩黎巴嫩geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 116-116 阿爾及利亞北非geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2520-2520 阿爾及爾,阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2522-2522 烷烴蒙古包俄羅斯俄國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2524-2524 Alon西方銀行geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2526-2526 安汶印度尼西亞印度尼西亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 659-659 美國薩摩亞大洋洲geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2528-2528 安曼,約旦約旦geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2530-2530 一個 nuwaydirat 巴林巴林geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2532-2532 安第斯西班牙西班牙geographic 次要地區

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