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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandArea
LandArea

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1453-1455
No TPTP formula. May not be expressible in strict first order. Merge.kif 14154-14157
No TPTP formula. May not be expressible in strict first order. Merge.kif 14153-14153 子類 LandArea and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 639-639 美國薩摩亞 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 416-416 安圭拉 and LandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 3624-3624 南極地區 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 417-417 阿魯巴 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 592-592 阿什莫爾和卡地亞島嶼 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 640-640 貝克島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 400-400 百慕大 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 565-565 英屬印度洋領地 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 418-418 英屬維爾京群島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 419-419 開曼群島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 593-593 聖誕島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 469-469 clipperton島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 594-594 科科斯基林群島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 641-641 庫克群島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 642-642 珊瑚海島嶼 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 492-492 福克蘭群島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 311-311 法羅群島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 491-491 法屬圭亞那 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 643-643 法屬波利尼西亞 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 587-587 法國南部和南極的土地 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 237-237 加沙地帶 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 388-388 直布羅陀 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 401-401 格陵蘭 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 420-420 瓜德羅普島 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 344-344 根西島 and LandArea

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. Geography.kif 4285-4285 地下表面類型, 1 and LandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4278-4278 地面類型, 1 and LandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1674-1674 坡度, 1 and LandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1687-1687 坡度梯度朝向, 1 and LandArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14032-14032 劃分 GeographicArea, WaterArea and LandArea

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1598-1608
No TPTP formula. May not be expressible in strict first order. Geography.kif 5711-5718
No TPTP formula. May not be expressible in strict first order. Geography.kif 5720-5725
No TPTP formula. May not be expressible in strict first order. Geography.kif 6779-6792
No TPTP formula. May not be expressible in strict first order. Geography.kif 1843-1849
No TPTP formula. May not be expressible in strict first order. Geography.kif 1835-1841
No TPTP formula. May not be expressible in strict first order. Geography.kif 4288-4297
No TPTP formula. May not be expressible in strict first order. Geography.kif 4247-4257
No TPTP formula. May not be expressible in strict first order. Geography.kif 4231-4241
No TPTP formula. May not be expressible in strict first order. Merge.kif 14159-14166

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1742-1746
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Merge.kif 14208-14214
No TPTP formula. May not be expressible in strict first order. Geography.kif 5823-5837
No TPTP formula. May not be expressible in strict first order. Weather.kif 693-706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
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 1793-1795
No TPTP formula. May not be expressible in strict first order. Geography.kif 952-957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15385-15392
No TPTP formula. May not be expressible in strict first order. Geography.kif 595-601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1359-1368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8969-8974
No TPTP formula. May not be expressible in strict first order. Geography.kif 5225-5230
No TPTP formula. May not be expressible in strict first order. Merge.kif 14194-14206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17771-17778
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 811-818
No TPTP formula. May not be expressible in strict first order. Geography.kif 4791-4796
No TPTP formula. May not be expressible in strict first order. Geography.kif 6771-6777
No TPTP formula. May not be expressible in strict first order. Merge.kif 14289-14297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3958-3969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26104-26122


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