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 | Il numero 1 argomenti di located è un istanza di Entit�Concreta |
(domain located 2 Object) | Merge.kif 4076-4076 | Il numero 2 argomenti di located è un istanza di Oggetto |
(instance located AntisymmetricRelation) | Merge.kif 4070-4070 | located è un' istanza di RelazioneAntisimmetrica |
(instance located TotalValuedRelation) | Merge.kif 4072-4072 | located è un' istanza di RelazioneAValoreTotale |
(instance located TransitiveRelation) | Merge.kif 4071-4071 | located è un' istanza di RelazioneTransitiva |
(subrelation located partlyLocated) | Merge.kif 4073-4073 | located è una sottorelazione di 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 3868-3868 | time è interamente correlato a located |
(subrelation exactlyLocated located) | Merge.kif 4134-4134 | exactlyLocated è una sottorelazione di located |
(subrelation geographicSubregion located) | Merge.kif 14046-14046 | geographicSubregion è una sottorelazione di located |
(subrelation headquartersOfOrganization located) | Mid-level-ontology.kif 7576-7576 | headquartersOfOrganization è una sottorelazione di located |
(subrelation onboard located) | Mid-level-ontology.kif 17404-17404 | onboard è una sottorelazione di located |
(subrelation partiallyFills located) | Merge.kif 9974-9974 | partiallyFills è una sottorelazione di located |
(subrelation postCity located) | Mid-level-ontology.kif 24758-24758 | postCity è una sottorelazione di located |
(subrelation postCountry located) | Mid-level-ontology.kif 24701-24701 | postCountry è una sottorelazione di located |
(subrelation postDistrict located) | Mid-level-ontology.kif 24742-24742 | postDistrict è una sottorelazione di located |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 24670-24670 | postNeighborhood è una sottorelazione di located |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 24784-24784 | postPostcodeArea è una sottorelazione di 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 18202-18219 | decreasesLikelihood ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un' istanza di PaperShredder ?CUT è un' istanza di Tagliare ?X è uno strumento per ?CUT ?PAPER è un' istanza di Paper ?PAPER è un paziente di ?CUT ?CBO è localizzato in ?PAPER ?CBO è un' istanza di VisualContentBearingObject ?CBO contienes informazione ?INFO and ?READ ?READ è un' istanza di Interpreting ?INFO è un paziente di ?READ il tempo di esistenza di ?CUT accades prima di il tempo di esistenza di ?READ |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn Organismo and AreaGeografica is uguale a il numero di istanzia in la classe descritta da OrganismoI |
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1920-1920 | JesusOfNazareth è localizzato in Palestine vales durante il tempo di esistenza di JesusOfNazareth |
appearance as argument number 0 |
(located AalandIslands BalticSea) | Media.kif 2563-2563 | AalandIslands è localizzato in BalticSea |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4695-4695 | AntarcticCircumpolarCurrent è localizzato in SouthernOcean |
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands è localizzato in DirectionalSubregionFn South and IndianOcean |
(located FrenchSouthernAndAntarcticLands IndianOcean) | CountriesAndRegions.kif 586-586 | FrenchSouthernAndAntarcticLands è localizzato in IndianOcean |
(located SaintHelena SouthAtlanticOcean) | CountriesAndRegions.kif 231-231 | SaintHelena è localizzato in SouthAtlanticOcean |