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 | located の数値 1 引数は 物理 の instance では |
(domain located 2 Object) | Merge.kif 4095-4095 | located の数値 2 引数は オブジェクト の instance では |
(instance located AntisymmetricRelation) | Merge.kif 4089-4089 | located は 反対称関係 の instance では |
(instance located TotalValuedRelation) | Merge.kif 4091-4091 | located は 合計値関係 の instance では |
(instance located TransitiveRelation) | Merge.kif 4090-4090 | located は 推移関係 の instance では |
(subrelation located partlyLocated) | Merge.kif 4092-4092 | located は partlyLocated の subrelation では |
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 は located に internally 関連して |
(subrelation exactlyLocated located) | Merge.kif 4155-4155 | exactlyLocated は located の subrelation では |
(subrelation geographicSubregion located) | Merge.kif 14199-14199 | geographicSubregion は located の subrelation では |
(subrelation headquartersOfOrganization located) | Mid-level-ontology.kif 8743-8743 | headquartersOfOrganization は located の subrelation では |
(subrelation onboard located) | Mid-level-ontology.kif 18955-18955 | onboard は located の subrelation では |
(subrelation partiallyFills located) | Merge.kif 10112-10112 | partiallyFills は located の subrelation では |
(subrelation postCity located) | Mid-level-ontology.kif 26420-26420 | postCity は located の subrelation では |
(subrelation postCountry located) | Mid-level-ontology.kif 26363-26363 | postCountry は located の subrelation では |
(subrelation postDistrict located) | Mid-level-ontology.kif 26404-26404 | postDistrict は located の subrelation では |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 26332-26332 | postNeighborhood は located の subrelation では |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 26446-26446 | postPostcodeArea は located の subrelation では |
(termFormat ChineseLanguage located "位于") | chinese_format.kif 146-146 | postPostcodeArea は located の subrelation では |
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 は PaperShredder の instance では ?CUT は 切断 の instance では ?X は ?CUT の instrument では ?PAPER は Paper の instance では ?PAPER は ?CUT の patient では ?CBO は ?PAPER に located して ?CBO は VisualContentBearingObject の instance では ?CBO は ?INFO の情報を contains は ?READ ?READ は Interpreting の instance では ?INFO は ?READ の patient では ?CUT の time の existence は ?READ の time の existence より earlier happens を decreases 可能性がある |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 33681-33686 | equal OrganismPopulationFn 物 and 地理的地域 and 物Iで記述される class の instances の数 |
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1922-1922 | JesusOfNazareth は Palestine に located して は JesusOfNazareth の time の existence の during holds |
appearance as argument number 0 |
![]() |
(located AalandIslands BalticSea) | Media.kif 2565-2565 | AalandIslands は BalticSea に located して |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4935-4935 | AntarcticCircumpolarCurrent は SouthernOcean に located して |
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands は DirectionalSubregionFn South and IndianOcean に located して |
(located FrenchSouthernAndAntarcticLands IndianOcean) | CountriesAndRegions.kif 586-586 | FrenchSouthernAndAntarcticLands は IndianOcean に located して |
(located NullIsland GulfOfGuinea) | Geography.kif 5465-5465 | NullIsland は GulfOfGuinea に located して |
(located SaintHelena SouthAtlanticOcean) | CountriesAndRegions.kif 231-231 | SaintHelena は SouthAtlanticOcean に located して |
![]() |
![]() |