located |
appearance as argument number 1 |
![]() |
(documentation located ChineseLanguage "(located ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 partlyLocated 在 ?OBJ2,而且没有一处 ?OBJ1的 part 不是 located 在?OBJ2。") | chinese_format.kif 2111-2112 | |
(documentation located EnglishLanguage "(located ?OBJ1 ?OBJ2) means that ?OBJ1 is partlyLocated at ?OBJ2, and there is no part of ?OBJ1 that is not located at ?OBJ2.") | Merge.kif 4097-4099 | |
(documentation located JapaneseLanguage "(located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。") | japanese_format.kif 763-764 | |
(domain located 1 Physical) | Merge.kif 4094-4094 | Le nombre 1 argument de located est une instance de physique |
(domain located 2 Object) | Merge.kif 4095-4095 | Le nombre 2 argument de located est une instance de objet |
(instance located AntisymmetricRelation) | Merge.kif 4089-4089 | located est une instance de relation antisym�trique |
(instance located TotalValuedRelation) | Merge.kif 4091-4091 | located est une instance de relation total |
(instance located TransitiveRelation) | Merge.kif 4090-4090 | located est une instance de relation transitive |
(subrelation located partlyLocated) | Merge.kif 4092-4092 | located est une sous-relation de partlyLocated |
appearance as argument number 2 |
![]() |
(format ChineseLanguage located "%1 %n 是 located 在 %2") | chinese_format.kif 145-145 | |
(format EnglishLanguage located "%1 is %n located at %2") | english_format.kif 146-146 | |
(format FrenchLanguage located "%1 est %n situ� � %2") | french_format.kif 94-94 | |
(format ItalianLanguage located "%1 è %n localizzato in %2") | relations-it.txt 170-170 | |
(format JapaneseLanguage located "%1 は %2 に located して %n") | japanese_format.kif 1921-1921 | |
(format PortugueseLanguage located "%1 e' %n situado em %2") | portuguese_format.kif 46-46 | |
(format cz located "%1 %p{je} %n{nen�} located at %2") | relations-cz.txt 128-128 | |
(format de located "%1 befindet sich an %n{nicht}") | relations-de.txt 176-176 | |
(format hi located "%1 %2 para/men sthita %n hai") | relations-hindi.txt 208-208 | |
(format ro located "%1 %n{nu} este located%t{localizat} la %2") | relations-ro.kif 113-113 | |
(format sv located "%1 ligger %n{inte} vid %2") | relations-sv.txt 93-93 | |
(format tg located "%1 %n ay sa %2") | relations-tg.txt 339-339 | |
(relatedInternalConcept time located) | Merge.kif 3881-3881 | time est reli� � l'int�rieur de SUMO � located |
(subrelation exactlyLocated located) | Merge.kif 4155-4155 | exactlyLocated est une sous-relation de located |
(subrelation geographicSubregion located) | Merge.kif 14199-14199 | geographicSubregion est une sous-relation de located |
(subrelation headquartersOfOrganization located) | Mid-level-ontology.kif 8743-8743 | headquartersOfOrganization est une sous-relation de located |
(subrelation onboard located) | Mid-level-ontology.kif 18955-18955 | onboard est une sous-relation de located |
(subrelation partiallyFills located) | Merge.kif 10112-10112 | partiallyFills est une sous-relation de located |
(subrelation postCity located) | Mid-level-ontology.kif 26420-26420 | postCity est une sous-relation de located |
(subrelation postCountry located) | Mid-level-ontology.kif 26363-26363 | postCountry est une sous-relation de located |
(subrelation postDistrict located) | Mid-level-ontology.kif 26404-26404 | postDistrict est une sous-relation de located |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 26332-26332 | postNeighborhood est une sous-relation de located |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 26446-26446 | postPostcodeArea est une sous-relation de located |
(termFormat ChineseLanguage located "位于") | chinese_format.kif 146-146 | postPostcodeArea est une sous-relation de located |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 19773-19790 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 33681-33686 | equal OrganismPopulationFn organisme and secteur g�ographique and le nombre d' instances dans la classe d�crite par organismeI |
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1922-1922 | JesusOfNazareth est situ� � Palestine pendant temps d'existence de JesusOfNazareth |
appearance as argument number 0 |
![]() |
(located AalandIslands BalticSea) | Media.kif 2565-2565 | AalandIslands est situ� � BalticSea |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4935-4935 | AntarcticCircumpolarCurrent est situ� � SouthernOcean |
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean |
(located FrenchSouthernAndAntarcticLands IndianOcean) | CountriesAndRegions.kif 586-586 | FrenchSouthernAndAntarcticLands est situ� � IndianOcean |
(located NullIsland GulfOfGuinea) | Geography.kif 5465-5465 | NullIsland est situ� � GulfOfGuinea |
(located SaintHelena SouthAtlanticOcean) | CountriesAndRegions.kif 231-231 | SaintHelena est situ� � SouthAtlanticOcean |
![]() |
![]() |