Oceania |
appearance as argument number 1 |
(externalImage Oceania "http://articulatesoftware.com/SUMOpictures/geography/ continents/ oceania.png") | pictureList.kif 637-637 | |
(instance Oceania Continent) | Geography.kif 3554-3554 | Oceania è un' istanza di Continente |
(instance Oceania GeographicArea) | Geography.kif 106-106 | Oceania è un' istanza di AreaGeografica |
(orientation Oceania NorthAmerica Southwest) | Geography.kif 284-284 | Oceania è Southwest a NorthAmerica |
(overlapsSpatially Oceania EasternHemisphere) | Geography.kif 3558-3558 | Oceania si sovrappones a EasternHemisphere |
(overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 3556-3556 | Oceania si sovrappones a NorthernHemisphere |
(overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 3557-3557 | Oceania si sovrappones a SouthernHemisphere |
(overlapsSpatially Oceania WesternHemisphere) | Geography.kif 3559-3559 | Oceania si sovrappones a WesternHemisphere |
appearance as argument number 2 |
consequent |
(<=> (instance ?CONTINENT Continent) (or (equal Africa ?CONTINENT) (equal NorthAmerica ?CONTINENT) (equal SouthAmerica ?CONTINENT) (equal Antarctica ?CONTINENT) (equal Europe ?CONTINENT) (equal Asia ?CONTINENT) (equal Oceania ?CONTINENT))) |
Geography.kif 3504-3513 | Entit� è un' istanza di Continente Africa is uguale a Entit� NorthAmerica is uguale a Entit� SouthAmerica is uguale a Entit� Antarctica is uguale a Entit� Europe is uguale a Entit� Asia is uguale a Entit� Oceania is uguale a Entit� |