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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nation
Nation(国家)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3519-3519 国家 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3346-3347
No TPTP formula. May not be expressible in strict first order. Merge.kif 14225-14228
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3358-3358
No TPTP formula. May not be expressible in strict first order. Merge.kif 14223-14223 国家地缘政治区域subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14224-14224 国家土地面积subclass

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 568-568 阿富汗国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 371-371 阿尔巴尼亚国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 117-117 阿尔及利亚国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 153-153 安哥拉国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 429-429 安提瓜和巴布达国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 514-514 阿根廷国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 631-631 亚美尼亚国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 661-661 澳大利亚国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 276-276 奥地利国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 633-633 阿塞拜疆国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 241-241 巴林国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 570-570 孟加拉国国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 434-434 巴巴多斯国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 297-297 白俄罗斯国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 472-472 伯利兹国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 192-192 贝宁国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 572-572 不丹国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 496-496 玻利维亚国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 373-373 波斯尼亚和黑塞哥维那国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 156-156 博茨瓦纳国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 501-501 巴西国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 600-600 文莱国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 375-375 保加利亚国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 194-194 布基纳法索国家instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 86-86 布隆迪国家instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Music.kif 954-954 NationalAnthemFn 的 1 数量 是 国家instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6710-6710 街道地址 的 4 数量 是 国家instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16753-16753 公民 的 2 数量 是 国家instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1676-1676 inflationRateInCountry 的 1 数量 是 国家instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24713-24720 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域依赖或特殊主权领域instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域
No TPTP formula. May not be expressible in strict first order. Economy.kif 865-869
No TPTP formula. May not be expressible in strict first order. Government.kif 1570-1574
No TPTP formula. May not be expressible in strict first order. Government.kif 4668-4673
No TPTP formula. May not be expressible in strict first order. Government.kif 4648-4657
No TPTP formula. May not be expressible in strict first order. Government.kif 4535-4540
No TPTP formula. May not be expressible in strict first order. Government.kif 4511-4519
No TPTP formula. May not be expressible in strict first order. Government.kif 4470-4478
No TPTP formula. May not be expressible in strict first order. Government.kif 1609-1613
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 195-201
No TPTP formula. May not be expressible in strict first order. Geography.kif 705-710
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1145-1149
No TPTP formula. May not be expressible in strict first order. Government.kif 3229-3233
No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3227
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2309-2328
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2244-2252
No TPTP formula. May not be expressible in strict first order. Government.kif 774-783
No TPTP formula. May not be expressible in strict first order. Government.kif 906-913
No TPTP formula. May not be expressible in strict first order. Government.kif 507-511
No TPTP formula. May not be expressible in strict first order. Government.kif 1456-1462
No TPTP formula. May not be expressible in strict first order. Government.kif 1465-1469
No TPTP formula. May not be expressible in strict first order. Government.kif 1471-1475
No TPTP formula. May not be expressible in strict first order. Government.kif 2191-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 6938-6942
No TPTP formula. May not be expressible in strict first order. Government.kif 2362-2369

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. Geography.kif 3001-3009
No TPTP formula. May not be expressible in strict first order. Government.kif 121-125
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17352-17368
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1176-1180
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1126-1130
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1192-1196
No TPTP formula. May not be expressible in strict first order. Government.kif 2531-2535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16561-16575
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 949-964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27125-27135
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27142-27154
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 712-724
No TPTP formula. May not be expressible in strict first order. Government.kif 493-498
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 32-41
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3537-3561
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13266-13271
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1357-1373
No TPTP formula. May not be expressible in strict first order. Government.kif 2516-2524
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1006-1015
No TPTP formula. May not be expressible in strict first order. Merge.kif 14237-14242
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19692-19700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22379-22388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24707-24711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14220-14229

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains 选民公民身份要求 的资料


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 3.0 is open source software produced by Articulate Software and its partners