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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - StreamWaterArea
StreamWaterArea(河川水域)

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


(disjoint StreamWaterArea StaticWaterArea) Mid-level-ontology.kif 10240-10240 河川水域静水域disjoint では
(documentation StreamWaterArea EnglishLanguage "A relatively narrow WaterArea where the water flows constantly and in the same direction, e.g. a river, a stream, etc.") Mid-level-ontology.kif 10241-10243 河川水域静水域disjoint では
(subclass StreamWaterArea FlowRegion) Mid-level-ontology.kif 10239-10239 河川水域FlowRegionsubclass では
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 10238-10238 河川水域水域subclass では

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


(subclass Creek StreamWaterArea) Geography.kif 5976-5976 Creek河川水域subclass では
(subclass Rapids StreamWaterArea) Geography.kif 5936-5936 Rapids河川水域subclass では
(subclass River StreamWaterArea) Geography.kif 5775-5775 River河川水域subclass では
(subclass RiverMouth StreamWaterArea) Geography.kif 5959-5959 RiverMouth河川水域subclass では
(subclass Waterfall StreamWaterArea) Geography.kif 5849-5849 Waterfall河川水域subclass では
(termFormat ChineseLanguage StreamWaterArea "溪水区") chinese_format.kif 953-953 Waterfall河川水域subclass では
(termFormat EnglishLanguage StreamWaterArea "stream water area") english_format.kif 1113-1113 Waterfall河川水域subclass では
(termFormat FrenchLanguage StreamWaterArea "plan d'eau en mouvement") french_format.kif 629-629 Waterfall河川水域subclass では
(termFormat Hindi StreamWaterArea "pravaahita jala kshetra") terms-hindi.txt 160-160 Waterfall河川水域subclass では
(termFormat ItalianLanguage StreamWaterArea "SuperficieD'AcquaCorrente") terms-it.txt 163-163 Waterfall河川水域subclass では
(termFormat JapaneseLanguage StreamWaterArea "河川水域") japanese_format.kif 2314-2314 Waterfall河川水域subclass では
(termFormat PortugueseLanguage StreamWaterArea "Area aquatica em movimento") portuguese_format.kif 581-581 Waterfall河川水域subclass では
(termFormat cz StreamWaterArea "stream water area") terms-cz.txt 197-197 Waterfall河川水域subclass では
(termFormat de StreamWaterArea "stroemedes wassergebiet") terms-de.txt 456-456 Waterfall河川水域subclass では
(termFormat ro StreamWaterArea "întindere de apã curgãtoare") relations-ro.kif 650-650 Waterfall河川水域subclass では
(termFormat tg StreamWaterArea "laki ng agos") terms-tg.txt 164-164 Waterfall河川水域subclass では

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


(=>
    (and
        (instance ?SYSTEM RiverSystem)
        (instance ?STREAM StreamWaterArea)
        (part ?STREAM ?SYSTEM))
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (flows ?STREAM ?RIVER))))
Geography.kif 5836-5845
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5718-5724

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


(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5801-5808
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (connects ?FORK ?STREAM1 ?STREAM2)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))
Geography.kif 5792-5799


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