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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Inlet
Inlet

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


(documentation Inlet EnglishLanguage "Inlet is the class of bays or other recesses into the shore of a lake, sea, or river, includes InletPassages, which are passages leading from open water through some barrier to a bay or lagoon.") Geography.kif 5511-5514
(subclass Inlet BodyOfWater) Geography.kif 5509-5509 InletBodyOfWatersubclass では

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


(subclass Bay Inlet) Geography.kif 5550-5550 BayInletsubclass では
(subclass Cove Inlet) Geography.kif 5556-5556 CoveInletsubclass では
(subclass Estuary Inlet) Geography.kif 5472-5472 EstuaryInletsubclass では
(subclass InletPassage Inlet) Geography.kif 5544-5544 InletPassageInletsubclass では
(termFormat ChineseLanguage Inlet "进口") domainEnglishFormat.kif 30192-30192 InletPassageInletsubclass では
(termFormat ChineseTraditionalLanguage Inlet "進口") domainEnglishFormat.kif 30191-30191 InletPassageInletsubclass では
(termFormat EnglishLanguage Inlet "inlet") domainEnglishFormat.kif 30190-30190 InletPassageInletsubclass では

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 5537-5542
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))
Geography.kif 5530-5535
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 5516-5521
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))
Geography.kif 5523-5528


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