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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - IndianOcean
IndianOcean

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


(connected IndianOcean PersianGulf) Geography.kif 4871-4871 IndianOcean は PersianGulf と connected して
(connected IndianOcean SouthPacificOcean) Geography.kif 4870-4870 IndianOcean は SouthPacificOcean と connected して
(connected IndianOcean SouthernOcean) Geography.kif 4872-4872 IndianOcean は SouthernOcean と connected して
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.") Geography.kif 4868-4868 IndianOcean は SouthernOcean と connected して
(externalImage IndianOcean "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Indian_Ocean.png") pictureList.kif 514-514 IndianOcean は SouthernOcean と connected して
(instance IndianOcean Ocean) Geography.kif 4865-4865 IndianOcean は Ocean の instance では

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


(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586 FrenchSouthernAndAntarcticLands は IndianOcean に located して
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 BassasDaIndia は IndianOcean と meets
(meetsSpatially EuropaIsland IndianOcean) CountriesAndRegions.kif 140-140 EuropaIsland は IndianOcean と meets
(meetsSpatially GloriosoIslands IndianOcean) CountriesAndRegions.kif 142-142 GloriosoIslands は IndianOcean と meets
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean) CountriesAndRegions.kif 144-144 HeardIslandAndMcDonaldIslands は IndianOcean と meets
(meetsSpatially JuanDeNovaIsland IndianOcean) CountriesAndRegions.kif 146-146 JuanDeNovaIsland は IndianOcean と meets
(meetsSpatially Mayotte IndianOcean) CountriesAndRegions.kif 148-148 Mayotte は IndianOcean と meets
(meetsSpatially TromelinIsland IndianOcean) CountriesAndRegions.kif 150-150 TromelinIsland は IndianOcean と meets
(names "Indian Ocean" IndianOcean) Geography.kif 4866-4866 IndianOcean は "Indian Ocean" の &ames$"name" を 持って
(termFormat ChineseLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29628-29628 IndianOcean は "Indian Ocean" の &ames$"name" を 持って
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29627-29627 IndianOcean は "Indian Ocean" の &ames$"name" を 持って
(termFormat EnglishLanguage IndianOcean "indian ocean") domainEnglishFormat.kif 29626-29626 IndianOcean は "Indian Ocean" の &ames$"name" を 持って

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


(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))		 Weather.kif 611-630

statement
-------------------------


(located FrenchSouthernAndAntarcticLands
    (DirectionalSubregionFn South IndianOcean))		 CountriesAndRegions.kif 588-588 FrenchSouthernAndAntarcticLands は DirectionalSubregionFn South and IndianOcean に located して


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