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 4079-4081 | |
(documentation located JapaneseLanguage "(located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。") | japanese_format.kif 763-764 | |
(domain located 1 Physical) | Merge.kif 4076-4076 | The number 1 argument of located is an instance of physical |
(domain located 2 Object) | Merge.kif 4077-4077 | The number 2 argument of located is an instance of object |
(instance located AntisymmetricRelation) | Merge.kif 4071-4071 | located is an instance of antisymmetric relation |
(instance located TotalValuedRelation) | Merge.kif 4073-4073 | located is an instance of total valued relation |
(instance located TransitiveRelation) | Merge.kif 4072-4072 | located is an instance of transitive relation |
(subrelation located partlyLocated) | Merge.kif 4074-4074 | located is a subrelation of partly located |
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 3869-3869 | time is internally related to located |
(subrelation exactlyLocated located) | Merge.kif 4135-4135 | exactly located is a subrelation of located |
(subrelation geographicSubregion located) | Merge.kif 14092-14092 | geographic subregion is a subrelation of located |
(subrelation headquartersOfOrganization located) | Mid-level-ontology.kif 7603-7603 | headquarters of organization is a subrelation of located |
(subrelation onboard located) | Mid-level-ontology.kif 17431-17431 | onboard is a subrelation of located |
(subrelation partiallyFills located) | Merge.kif 10010-10010 | partially fills is a subrelation of located |
(subrelation postCity located) | Mid-level-ontology.kif 24815-24815 | post city is a subrelation of located |
(subrelation postCountry located) | Mid-level-ontology.kif 24758-24758 | post country is a subrelation of located |
(subrelation postDistrict located) | Mid-level-ontology.kif 24799-24799 | post district is a subrelation of located |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 24727-24727 | post neighborhood is a subrelation of located |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 24841-24841 | post postcode area is a subrelation of located |
(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 18229-18246 | There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 31766-31771 | Individuals of type an organism in a geographic area. is equal to the number of instances in the class described by the organismI |
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1920-1920 | Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth |
appearance as argument number 0 |
(located AalandIslands BalticSea) | Media.kif 2563-2563 | Aaland islands is located at baltic sea |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4695-4695 | Antarctic circumpolar current is located at southern ocean |
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | French southern and antarctic lands is located at the directional subregion of south and indian ocean |
(located FrenchSouthernAndAntarcticLands IndianOcean) | CountriesAndRegions.kif 586-586 | French southern and antarctic lands is located at indian ocean |
(located SaintHelena SouthAtlanticOcean) | CountriesAndRegions.kif 231-231 | Saint helena is located at south atlantic ocean |