North - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - North

North

appearance as argument number 1

(contraryAttribute North South East West)	Merge.kif 15877-15877	contraryAttribute North, South, East and West
(documentation North ChineseLanguage "这是罗盘方向 North.")	chinese_format.kif 3804-3804
(documentation North EnglishLanguage "The compass direction of North.")	Merge.kif 15878-15878
(externalImage North "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png")	pictureList.kif 1871-1871
(instance North DirectionalAttribute)	Merge.kif 15876-15876	instance North and DirectionalAttribute
(oppositeDirection North South)	Mid-level-ontology.kif 14706-14706	oppositeDirection North and South

appearance as argument number 2

(termFormat ChineseLanguage North "北")	domainEnglishFormat.kif 40932-40932
(termFormat ChineseTraditionalLanguage North "北")	domainEnglishFormat.kif 40931-40931
(termFormat EnglishLanguage North "north")	domainEnglishFormat.kif 40930-40930

appearance as argument number 3

(orientation CaribbeanRegion SouthAmerica North)	Geography.kif 289-289	orientation CaribbeanRegion, SouthAmerica and North
(orientation Europe Africa North)	Geography.kif 275-275	orientation Europe, Africa and North
(orientation MiddleAmerica SouthAmerica North)	Geography.kif 287-287	orientation MiddleAmerica, SouthAmerica and North
(orientation NorthAmerica SouthAmerica North)	Geography.kif 278-278	orientation NorthAmerica, SouthAmerica and North
(orientation Scotland England North)	Geography.kif 6481-6481	orientation Scotland, England and North
(orientation Scotland Wales North)	Geography.kif 6494-6494	orientation Scotland, Wales and North

antecedent

(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South))	Merge.kif 15883-15885	orientation Object, Object and North orientation Object, Object and South
(=> (or (equal ?DIRECTION North) (equal ?DIRECTION South)) (length (LatitudeFn ?DIRECTION (MeasureFn 0 AngularDegree) (MeasureFn 1 ArcMinute) (MeasureFn 0 ArcSecond)) (MeasureFn 1 NauticalMile)))	Geography.kif 433-440	equal DirectionalAttribute and North equal DirectionalAttribute and South length LatitudeFn DirectionalAttribute, MeasureFn 0 and AngularDegree, MeasureFn 1 and ArcMinute and MeasureFn 0 and ArcSecond and MeasureFn 1 and NauticalMile

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3612-3614	courseWRTTrueNorth Object, Object and MeasureFn 0 and AngularDegree orientation Object, Object and North
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3628-3630	courseWRTTrueNorth Object, Object and MeasureFn 360 and AngularDegree orientation Object, Object and North
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3534-3538	orientation Object, Object and Northeast orientation Object, Object and North orientation Object, Object and East
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3569-3573	orientation Object, Object and Northwest orientation Object, Object and North orientation Object, Object and West
(=> (and (instance ?PLACE GeographicArea) (located ?PLACE ?T) (instance ?T Tropics)) (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U) (and (objectGeographicCoordinates ?PLACE (MeasureFn ?NUM1 ?U) ?LONG) (instance ?U UnitOfAngularMeasure) (lessThan ?NUM1 ?NUM2) (equal (MeasureFn ?NUM2 ?U) (LatitudeFn ?DIR (MeasureFn 23 AngularDegree) (MeasureFn 26 ArcMinute) (MeasureFn 11.5 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South)))))	Geography.kif 3476-3496	instance Object and GeographicArea located Object and Object instance Object and Tropics RealNumber Longitude, DirectionalAttribute, RealNumber and UnitOfMeasure objectGeographicCoordinates Object, MeasureFn RealNumber and UnitOfMeasure and Longitude instance UnitOfMeasure and UnitOfAngularMeasure lessThan RealNumber and RealNumber equal MeasureFn RealNumber and UnitOfMeasure and LatitudeFn DirectionalAttribute, MeasureFn 23 and AngularDegree, MeasureFn 26 and ArcMinute and MeasureFn 11.5 and ArcSecond instance DirectionalAttribute and DirectionalAttribute equal DirectionalAttribute and North equal DirectionalAttribute and South
(=> (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)))))	Weather.kif 627-646	instance Process and TropicalCyclonicSystem origin Process and Object instance Object and NorthAtlanticOcean instance Object and PacificOcean instance Object and IndianOcean Object DirectionalAttribute, RealNumber and Longitude located Object and Object instance DirectionalAttribute and DirectionalAttribute objectGeographicCoordinates Object, LatitudeFn DirectionalAttribute and MeasureFn RealNumber and AngularDegree and Longitude equal DirectionalAttribute and North equal DirectionalAttribute and South lessThan RealNumber and 5
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 421-425	instance LatitudeFn DirectionalAttribute and @ROW and Region equal DirectionalAttribute and North equal DirectionalAttribute and South

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