InlandWaterSystem - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - InlandWaterSystem

InlandWaterSystem(inland water system)

appearance as argument number 1

(documentation InlandWaterSystem EnglishLanguage "An instance of InlandWaterSystem comprises two or more lakes or rivers, canals, or other waterways that are interconnected.")	Geography.kif 5413-5415
(externalImage InlandWaterSystem "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8e/ Great_Lakes_1.PNG")	pictureList.kif 1485-1485
(subclass InlandWaterSystem Collection)	Geography.kif 5411-5411	Inland water system is a subclass of collection
(subclass InlandWaterSystem WaterArea)	Geography.kif 5410-5410	Inland water system is a subclass of water area

appearance as argument number 2

(termFormat ChineseLanguage InlandWaterSystem "内陆水系统")	domainEnglishFormat.kif 30197-30197
(termFormat ChineseTraditionalLanguage InlandWaterSystem "內陸水系統")	domainEnglishFormat.kif 30196-30196
(termFormat EnglishLanguage InlandWaterSystem "inland water system")	domainEnglishFormat.kif 30195-30195

antecedent

(=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5449-5464	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
(=> (instance ?SYSTEM InlandWaterSystem) (exists (?BODY1 ?BODY2) (and (instance ?BODY1 BodyOfWater) (instance ?BODY2 BodyOfWater) (not (equal ?BODY1 ?BODY2)) (geographicSubregion ?BODY1 ?SYSTEM) (geographicSubregion ?BODY2 ?SYSTEM))))	Geography.kif 5417-5425	If a geographic area is an instance of inland water system, then there exist another geographic area and a third geographic area such that the other geographic area is an instance of body of water and the third geographic area is an instance of body of water and the other geographic area is not equal to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area

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