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 | Die Zahl 1 Argument von befindetSich ist ein fall von Physical %n{nicht} |
(domain located 2 Object) | Merge.kif 4076-4076 | Die Zahl 2 Argument von befindetSich ist ein fall von Object %n{nicht} |
(instance located AntisymmetricRelation) | Merge.kif 4070-4070 | befindetSich ist ein fall von AntisymmetricRelation %n{nicht} |
(instance located TotalValuedRelation) | Merge.kif 4072-4072 | befindetSich ist ein fall von TotalValuedRelation %n{nicht} |
(instance located TransitiveRelation) | Merge.kif 4071-4071 | befindetSich ist ein fall von TransitiveRelation %n{nicht} |
(subrelation located partlyLocated) | Merge.kif 4073-4073 | befindetSich ist eine teilrelation von befindetSichTeils |
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 | zeit ist innerlich verwandt mit befindetSich %n{nicht} |
(subrelation exactlyLocated located) | Merge.kif 4134-4134 | liegtGenau ist eine teilrelation von befindetSich |
(subrelation geographicSubregion located) | Merge.kif 14046-14046 | geographicSubregion ist eine teilrelation von befindetSich |
(subrelation headquartersOfOrganization located) | Mid-level-ontology.kif 7576-7576 | headquartersOfOrganization ist eine teilrelation von befindetSich |
(subrelation onboard located) | Mid-level-ontology.kif 17404-17404 | onboard ist eine teilrelation von befindetSich |
(subrelation partiallyFills located) | Merge.kif 9974-9974 | partiallyFills ist eine teilrelation von befindetSich |
(subrelation postCity located) | Mid-level-ontology.kif 24758-24758 | postCity ist eine teilrelation von befindetSich |
(subrelation postCountry located) | Mid-level-ontology.kif 24701-24701 | postCountry ist eine teilrelation von befindetSich |
(subrelation postDistrict located) | Mid-level-ontology.kif 24742-24742 | postDistrict ist eine teilrelation von befindetSich |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 24670-24670 | postNeighborhood ist eine teilrelation von befindetSich |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 24784-24784 | postPostcodeArea ist eine teilrelation von befindetSich |
(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 |
(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 24790-24795 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und PostcodeArea ist ein fall von PostcodeArea %n{nicht} genau dann wenn postPostcodeArea ** PostalPlace and ** PostcodeArea |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO)) |
Mid-level-ontology.kif 24763-24768 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und City ist ein fall von City %n{nicht} genau dann wenn postCity ** PostalPlace and ** City |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 24676-24681 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und Neighborhood ist ein fall von Neighborhood %n{nicht} genau dann wenn postNeighborhood ** PostalPlace and ** Neighborhood |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 24747-24752 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und StateOrProvince ist ein fall von StateOrProvince %n{nicht} genau dann wenn postDistrict ** PostalPlace and ** StateOrProvince |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 24713-24720 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} oder ** GeopoliticalArea ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht} genau dann wenn postCountry ** PostalPlace and ** GeopoliticalArea |
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))) |
Mid-level-ontology.kif 20601-20623 |
|
(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))) |
TransportDetail.kif 153-172 |
|
(=> (and (chromosomeNumber ?C ?I) (part ?N ?C) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I)) |
VirusProteinAndCellPart.kif 703-711 |
|
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C)) |
Military.kif 772-778 | |
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1907-1912 |
|
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 |
|
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 364-378 |
|
(=> (and (haploidNumber ?CELL ?I) (instance ?CELL Gamete) (part ?N ?CELL) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I)) |
VirusProteinAndCellPart.kif 794-803 |
|
(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES))))) |
MilitaryPersons.kif 26-47 |
|
(=> (and (instance ?A LocalAnesthetizing) (located ?A ?BP) (instance ?BP BodyPart) (part ?BP ?P) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (not (attribute ?P (PainFn ?BP))))) |
Medicine.kif 1008-1019 |
|
(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE))) |
Mid-level-ontology.kif 25035-25044 |
|
(=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1879-1884 |
|
(=> (and (instance ?ASO AntiSurfaceOperation) (patient ?ASO ?TARGET) (holdsDuring (WhenFn ?ASO) (located ?TARGET ?LOCATION))) (instance ?LOCATION WaterArea)) |
MilitaryProcesses.kif 665-671 |
|
(=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 586-602 |
|
(=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT_MIL_THIS ?CAA) (instance ?AGENT_MIL_THIS MilitaryOrganization) (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS) (instance ?NATION_THIS Nation) (located ?AGENT_MIL_THIS ?NATION_FRIENDLY) (instance ?NATION_FRIENDLY Nation)) (and (not (equal ?NATION_THIS ?NATION_FRIENDLY)) (not (enemy ?NATION_THIS ?NATION_FRIENDLY)) (exists (?AGENT_FRIENDLY) (and (located ?AGENT_FRIENDLY ?NATION_FRIENDLY) (partyToAgreement ?AGENT_FRIENDLY ?CAA) (not (instance ?AGENT_FRIENDLY MilitaryOrganization)))))) |
MilitaryProcesses.kif 2309-2328 |
|
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT)) |
MilitaryProcesses.kif 2244-2252 |
|
(=> (and (instance ?CELL HexaploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B ?C) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (instance ?C HomologousChromosomeSet) (subCollection ?C ?COLL) (not (equal ?A ?B) (equal ?A ?C) (equal ?B ?C))))) |
VirusProteinAndCellPart.kif 1004-1023 |
|
(=> (and (instance ?CELL MonoploidCell) (chromosomeNumber ?CELL ?X) (instance ?COLL MonoploidChromosomeSet) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL) (monoploidNumber ?COLL ?Y)) (equal ?X ?Y)) |
VirusProteinAndCellPart.kif 773-782 |
|
(=> (and (instance ?CELL PentaploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 5)) |
VirusProteinAndCellPart.kif 974-984 |
|
(=> (and (instance ?CELL TetraploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (not (equal ?A ?B))))) |
VirusProteinAndCellPart.kif 951-966 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
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 | Es gibt ?X, ?CUT,, , ?PAPER,, , ?CBO, and und ?INFO um ?X ist ein fall von PaperShredder %n{nicht} und ?CUT ist ein fall von Cutting %n{nicht} und ?X ist ein instrument fuer ?CUT %n{nicht} und ?PAPER ist ein fall von Paper %n{nicht} und ?PAPER ist ein patient von ?CUT %n{nicht} und ?CBO befindet sich an %n{nicht} und ?CBO ist ein fall von VisualContentBearingObject %n{nicht} und ?CBO enthaelt Informationen ueber ?INFO verringert die Wahrscheinlichkeit von es gibt ?READ um ?READ ist ein fall von Interpreting %n{nicht} und ?INFO ist ein patient von ?READ %n{nicht} und die zeit des Bestehens von ?CUT geschieht frueh als die zeit des Bestehens von ?READ %n{nicht} %n{nicht} |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn Organism and GeographicArea ist gleich die Zahl Faellen in die kategorie die ** OrganismI beschreibt %n{nicht} |
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1920-1920 | JesusOfNazareth befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von JesusOfNazareth %n{nicht} |
appearance as argument number 0 |
(located AalandIslands BalticSea) | Media.kif 2563-2563 | AalandIslands befindet sich an %n{nicht} |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4695-4695 | AntarcticCircumpolarCurrent befindet sich an %n{nicht} |
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands befindet sich an %n{nicht} |
(located FrenchSouthernAndAntarcticLands IndianOcean) | CountriesAndRegions.kif 586-586 | FrenchSouthernAndAntarcticLands befindet sich an %n{nicht} |
(located SaintHelena SouthAtlanticOcean) | CountriesAndRegions.kif 231-231 | SaintHelena befindet sich an %n{nicht} |