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

Formal Language: 



KB Term:  Term intersection
English Word: 

  City

 Sigma KEE - City
City(城市)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3350-3351
No TPTP formula. May not be expressible in strict first order. Merge.kif 14246-14249
No TPTP formula. May not be expressible in strict first order. pictureList.kif 193-193
No TPTP formula. May not be expressible in strict first order. pictureList.kif 853-853
No TPTP formula. May not be expressible in strict first order. Merge.kif 14244-14244 城市 是 地缘政治区域 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14245-14245 城市 是 土地面积 的 subclass

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1392-1392 阿达纳土耳其 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1394-1394 亚的斯亚贝巴埃塞俄比亚 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1396-1396 腺也门 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1398-1398 阿多拉西岸 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1400-1400 阿富拉以色列 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1402-1402 阿格里土耳其 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1404-1404 Ain defla 阿尔及利亚 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1406-1406 Ain el hajar 阿尔及利亚 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1408-1408 Ajaccio 法国 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1410-1410 Al balamand 黎巴嫩 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1412-1412 Alei sinai 加沙地帶 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1414-1414 Alei zahav 西方银行 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1416-1416 阿莱黎巴嫩 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1418-1418 阿尔及尔，阿尔及利亚 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1420-1420 烷烃蒙古包俄罗斯 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1422-1422 Alon 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1424-1424 安汶印度尼西亚 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1426-1426 安曼，约旦 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1428-1428 一个 nuwaydirat 巴林 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1430-1430 安第斯西班牙 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1432-1432 吴哥窟柬埔寨 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1434-1434 安卡拉土耳其 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1436-1436 安塔利亚土耳其 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1438-1438 Antioquia 哥伦比亚 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1440-1440 安特卫普比利时 是 城市 的 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. Mid-level-ontology.kif 6709-6709 街道地址 的 3 数量 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 375-375 首都 的 1 数量 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24757-24757 postCity 的 2 数量 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24763-24768 PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8333-8335 地缘政治区域 是 城市 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 市政府 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26594-26602
No TPTP formula. May not be expressible in strict first order. Government.kif 4675-4680
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 59-65
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 24797-24802

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8080-8085 地缘政治区域 是 市区 的 instance 若且唯若 有存在 另一个 地缘政治区域 这样 那个 另外 地缘政治区域 是 城市 的 instance 和 那个 地缘政治区域 是 那个 另外 地缘政治区域 的地缘政治部分
No TPTP formula. May not be expressible in strict first order. Government.kif 1640-1642
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8221-8226


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