partlyLocated - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - partlyLocated

partlyLocated

appearance as argument number 1

(documentation partlyLocated ChineseLanguage "(partlyLocated ?OBJ1 ?OBJ2)的意思是 Physical 的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如：伊斯坦布尔有一部分位于 Asia, 并有一部分位于 Europe。注：partlyLocated 是最基本的位置关系： located 是 partlyLocated 的直接 subrelation，而 exactlyLocated 是 located 的直接 subrelation。")	chinese_format.kif 2107-2110
(documentation partlyLocated EnglishLanguage "(partlyLocated ?OBJ1 ?OBJ2) means that the instance of Physical ?OBJ1 is at least partially located at ?OBJ2. For example, Istanbul is partly located in Asia and partly located in Europe. Note that partlyLocated is the most basic localization relation: located is an immediate subrelation of partlyLocated and exactlyLocated is an immediate subrelation of located.")	Merge.kif 4049-4054
(documentation partlyLocated JapaneseLanguage "(partlyLocated ?OBJ1 ?OBJ2) とは、 Physical ?OBJ1 のインスタンスが少なくとも部分的に ?OBJ2 に配置されたことを意味する。　例：イスタンブールは Asia に部分的に位置し、一部は Europe に位置している。　注：partlyLocated は最も基本的なローカリゼーション関係である: located は即時の partlyLocated の subrelation で、exactlyLocated は即時の located の subrelation である。")	japanese_format.kif 758-762
(domain partlyLocated 1 Physical)	Merge.kif 4046-4046	The number 1 argument of partly located is an instance of physical
(domain partlyLocated 2 Object)	Merge.kif 4047-4047	The number 2 argument of partly located is an instance of object
(instance partlyLocated BinaryPredicate)	Merge.kif 4044-4044	partly located is an instance of binary predicate
(instance partlyLocated SpatialRelation)	Merge.kif 4043-4043	partly located is an instance of spatial relation
(instance partlyLocated TotalValuedRelation)	Merge.kif 4045-4045	partly located is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage partlyLocated "%1 %n 是 partlyLocated 在 %2 ")	chinese_format.kif 165-165
(format EnglishLanguage partlyLocated "%1 is %n partly located in %2")	english_format.kif 166-166
(format FrenchLanguage partlyLocated "%1 est %n partiellement localis� � %2")	french_format.kif 102-102
(format ItalianLanguage partlyLocated "%1 è %n in parte localizzato in %2")	relations-it.txt 214-214
(format JapaneseLanguage partlyLocated "%1 は partly に %2 に位置して %n")	japanese_format.kif 1931-1931
(format PortugueseLanguage partlyLocated "%1 e' %n parcialmente localizado em %2")	portuguese_format.kif 54-54
(format cz partlyLocated "%1 %p{je} %n{nen�} ��ste�n� um�st�n v %2")	relations-cz.txt 129-129
(format de partlyLocated "%1 befindet sich teils an %n{nicht}")	relations-de.txt 203-203
(format hi partlyLocated "%1 %2 men anshatah sthita %n hai")	relations-hindi.txt 252-252
(format ro partlyLocated "%1 %n{nu} este partly%t{parþial} localizat în %2")	relations-ro.kif 121-121
(format sv partlyLocated "%1 ligger %n{inte} delvis i %2")	relations-sv.txt 103-103
(format tg partlyLocated "%1 %n ay sa %2")	relations-tg.txt 406-406
(subrelation agentOperatesInArea partlyLocated)	Government.kif 2201-2201	agent operates in area is a subrelation of partly located
(subrelation located partlyLocated)	Merge.kif 4074-4074	located is a subrelation of partly located
(termFormat ChineseLanguage partlyLocated "有一部分位于")	chinese_format.kif 166-166	located is a subrelation of partly located
(termFormat ChineseLanguage partlyLocated "部分位于")	domainEnglishFormat.kif 44618-44618	located is a subrelation of partly located
(termFormat ChineseTraditionalLanguage partlyLocated "部分位於")	domainEnglishFormat.kif 44617-44617	located is a subrelation of partly located
(termFormat EnglishLanguage partlyLocated "partly located")	domainEnglishFormat.kif 44616-44616	located is a subrelation of partly located
(termFormat de partlyLocated "befindetSichTeils")	terms-de.txt 63-63	located is a subrelation of partly located

antecedent

(=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE))	Geography.kif 1727-1733	If a geographic area is an instance of geographic area and a terrain attribute is an attribute of an object and the terrain attribute is an instance of terrain attribute and the object is partly located in the geographic area, then the terrain attribute is a terrain in area of the geographic area
(=> (and (instance ?B Barricade) (partlyLocated ?B ?P)) (hasPurpose ?B (not (exists (?T) (and (instance ?T Translocation) (path ?T ?P))))))	MilitaryDevices.kif 2003-2012	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2))))	Merge.kif 4062-4069	If an object is an instance of object and the object is partly located in another object, then there exists a third object such that the third object is a part of the object and the third object is located at the other object
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 4056-4060	If an object is an instance of object and the object is partly located in another object, then the object and the other object overlapsSpatially
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME)))	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 147-153	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
(=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA))	Geography.kif 507-512	If a physical is partly located in a geographic area and the geographic area is an instance of geographic area and the geographic area is a geographic subregion of another geographic area, then the physical is partly located in the other geographic area

consequent

(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION)))	Mid-level-ontology.kif 9337-9340	An object is outside to another object if and only if the object is not partly located in the other object
(<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))	Transportation.kif 656-663	A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO))	Geography.kif 3496-3501	If an object and another object overlapsSpatially and the other object is an instance of region and the object is not equal to the other object, then the object is partly located in the other object
(=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA))	Geography.kif 507-512	If a physical is partly located in a geographic area and the geographic area is an instance of geographic area and the geographic area is a geographic subregion of another geographic area, then the physical is partly located in the other geographic area
(=> (contains ?SMALL ?BIG) (partlyLocated ?SMALL ?BIG))	Merge.kif 987-989	If a self connected object contains an object, then the self connected object is partly located in the object
(=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB))	Merge.kif 4093-4095	If a process is partly located at an object, then the process is partly located in the object
(=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION)))	MilitaryPersons.kif 70-78	If displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is not partly located in the object
(=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION))	MilitaryPersons.kif 92-99	If internally displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is partly located in the object
(=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere)))))	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere
(=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA))))	Geography.kif 1719-1725	If a terrain attribute is a terrain in area of a geographic area, then there exists an object such that the object is an instance of geographic area and the terrain attribute is an attribute of the object and the object is partly located in the geographic area

appearance as argument number 0

(partlyLocated ArcticOcean EasternHemisphere)	Geography.kif 4640-4640	Arctic ocean is partly located in eastern hemisphere
(partlyLocated ArcticOcean WesternHemisphere)	Geography.kif 4641-4641	Arctic ocean is partly located in western hemisphere
(partlyLocated NorthPacificOcean EasternHemisphere)	Geography.kif 4578-4578	North pacific ocean is partly located in eastern hemisphere
(partlyLocated NorthPacificOcean WesternHemisphere)	Geography.kif 4579-4579	North pacific ocean is partly located in western hemisphere
(partlyLocated NortheasternPacificOcean EasternHemisphere)	Geography.kif 4592-4592	Northeastern Pacific ocean is partly located in eastern hemisphere
(partlyLocated NortheasternPacificOcean NorthernHemisphere)	Geography.kif 4591-4591	Northeastern Pacific ocean is partly located in northern hemisphere
(partlyLocated NorthwesternPacificOcean NorthernHemisphere)	Geography.kif 4604-4604	Northwestern Pacific Ocean is partly located in northern hemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere)	Geography.kif 4605-4605	Northwestern Pacific Ocean is partly located in western hemisphere
(partlyLocated SouthAtlanticOcean EasternHemisphere)	Geography.kif 4560-4560	South atlantic ocean is partly located in eastern hemisphere
(partlyLocated SouthAtlanticOcean WesternHemisphere)	Geography.kif 4559-4559	South atlantic ocean is partly located in western hemisphere
(partlyLocated SouthPacificOcean EasternHemisphere)	Geography.kif 4618-4618	South pacific ocean is partly located in eastern hemisphere
(partlyLocated SouthPacificOcean WesternHemisphere)	Geography.kif 4619-4619	South pacific ocean is partly located in western hemisphere
(partlyLocated SouthernOcean EasternHemisphere)	Geography.kif 4656-4656	Southern ocean is partly located in eastern hemisphere
(partlyLocated SouthernOcean WesternHemisphere)	Geography.kif 4657-4657	Southern ocean is partly located in western hemisphere

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