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 4078-4080 | |
(documentation located JapaneseLanguage "(located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。") | japanese_format.kif 763-764 | |
(domain located 1 Physical) | Merge.kif 4075-4075 | 域 位於, 1 and Physical |
(domain located 2 Object) | Merge.kif 4076-4076 | 域 位於, 2 and Object |
(instance located AntisymmetricRelation) | Merge.kif 4070-4070 | 例 位於 and AntisymmetricRelation |
(instance located TotalValuedRelation) | Merge.kif 4072-4072 | 例 位於 and TotalValuedRelation |
(instance located TransitiveRelation) | Merge.kif 4071-4071 | 例 位於 and TransitiveRelation |
(subrelation located partlyLocated) | Merge.kif 4073-4073 | 子關係 位於 and 部分位於 |
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 3868-3868 | 相關的內部概念 時間 and 位於 |
(subrelation exactlyLocated located) | Merge.kif 4134-4134 | 子關係 完全定位 and 位於 |
(subrelation geographicSubregion located) | Merge.kif 14046-14046 | 子關係 地理分區域 and 位於 |
(subrelation headquartersOfOrganization located) | Mid-level-ontology.kif 7576-7576 | 子關係 組織總部 and 位於 |
(subrelation onboard located) | Mid-level-ontology.kif 17404-17404 | 子關係 在船上 and 位於 |
(subrelation partiallyFills located) | Merge.kif 9974-9974 | 子關係 部分填補 and 位於 |
(subrelation postCity located) | Mid-level-ontology.kif 24758-24758 | 子關係 postCity and 位於 |
(subrelation postCountry located) | Mid-level-ontology.kif 24701-24701 | 子關係 postCountry and 位於 |
(subrelation postDistrict located) | Mid-level-ontology.kif 24742-24742 | 子關係 postDistrict and 位於 |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 24670-24670 | 子關係 postNeighborhood and 位於 |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 24784-24784 | 子關係 postPostcodeArea and 位於 |
(termFormat ChineseLanguage located "位于") | chinese_format.kif 146-146 | |
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 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 31734-31739 | 等於 OrganismPopulationFn Organism and GeographicArea and 基數 卡帕 OrganismI and 例 OrganismI and Organism 位於 OrganismI and GeographicArea |
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1920-1920 | 持有期間 何時 JesusOfNazareth and 位於 JesusOfNazareth and 巴勒斯坦 |
appearance as argument number 0 |
(located AalandIslands BalticSea) | Media.kif 2563-2563 | 位於 AalandIslands and 波羅的海 |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4695-4695 | 位於 南極極地電流 and 南部海洋 |
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | 位於 法國南部和南極的土地 and 南 和 印度洋 的 directional 次要地區 |
(located FrenchSouthernAndAntarcticLands IndianOcean) | CountriesAndRegions.kif 586-586 | 位於 法國南部和南極的土地 and 印度洋 |
(located SaintHelena SouthAtlanticOcean) | CountriesAndRegions.kif 231-231 | 位於 聖海倫娜 and 南大西洋 |