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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterArea
WaterArea

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1448-1448
No TPTP formula. May not be expressible in strict first order. Merge.kif 14121-14122
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8790-8790
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9808-9808
No TPTP formula. May not be expressible in strict first order. Merge.kif 14120-14120 子類 WaterArea and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14032-14032 劃分 GeographicArea, WaterArea and LandArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 921-921 子類 錨地 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4491-4491 子類 水體 and WaterArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14138-14138 子類 FreshWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 917-917 子類 港口 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 2028-2028 子類 水電水域 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5341-5341 子類 內陸水系統 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5655-5655 子類 河口 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5509-5509 子類 河流系統 and WaterArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14133-14133 子類 SaltWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2937-2937 子類 船泊位 and WaterArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9039-9039 子類 StaticWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9032-9032 子類 StreamWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5484-5484 子類 流水匯流 and WaterArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 1378-1378 子類 SurfZone and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4932-4932 子類 水流 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5577-5577 子類 水路 and WaterArea
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 950-950
No TPTP formula. May not be expressible in strict first order. english_format.kif 1107-1107
No TPTP formula. May not be expressible in strict first order. french_format.kif 626-626
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 157-157
No TPTP formula. May not be expressible in strict first order. terms-it.txt 160-160
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2311-2311
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 578-578

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 6169-6169 海岸線, 2 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5559-5559 流動電流, 2 and WaterArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2646-2646 可通航草案, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2629-2629 可通航航運噸位, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 975-975 海面溫度, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 1524-1524 significantWaveHeight, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5687-5687 流出口, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17566-17566 水深, 1 and WaterArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6126-6131
No TPTP formula. May not be expressible in strict first order. Geography.kif 5561-5570
No TPTP formula. May not be expressible in strict first order. Weather.kif 1579-1592
No TPTP formula. May not be expressible in strict first order. Geography.kif 6152-6161
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. Merge.kif 14124-14131

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8120-8130
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 665-671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3498-3506
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. Merge.kif 11174-11181
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. Weather.kif 1532-1547
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. Transportation.kif 2287-2292
No TPTP formula. May not be expressible in strict first order. Merge.kif 14174-14179
No TPTP formula. May not be expressible in strict first order. Geography.kif 5599-5605
No TPTP formula. May not be expressible in strict first order. Geography.kif 5322-5328
No TPTP formula. May not be expressible in strict first order. Geography.kif 5811-5816
No TPTP formula. May not be expressible in strict first order. Geography.kif 5617-5622
No TPTP formula. May not be expressible in strict first order. Geography.kif 571-577
No TPTP formula. May not be expressible in strict first order. Geography.kif 5232-5237
No TPTP formula. May not be expressible in strict first order. Merge.kif 14216-14221
No TPTP formula. May not be expressible in strict first order. Geography.kif 5913-5918
No TPTP formula. May not be expressible in strict first order. Geography.kif 6072-6079
No TPTP formula. May not be expressible in strict first order. Geography.kif 6138-6143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 536-541
No TPTP formula. May not be expressible in strict first order. Geography.kif 5800-5805
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17678-17683
No TPTP formula. May not be expressible in strict first order. Geography.kif 5942-5947

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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