located - Sigma Knowledge base Browser

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 3805-3807
(domain located 1 Physical)	Merge.kif 3802-3802	domain located, 1 and Physical
(domain located 2 Object)	Merge.kif 3803-3803	domain located, 2 and Object
(instance located AntisymmetricRelation)	Merge.kif 3797-3797	instance located and AntisymmetricRelation
(instance located TotalValuedRelation)	Merge.kif 3799-3799	instance located and TotalValuedRelation
(instance located TransitiveRelation)	Merge.kif 3798-3798	instance located and TransitiveRelation
(subrelation located partlyLocated)	Merge.kif 3800-3800	subrelation located and 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
(relatedInternalConcept time located)	Merge.kif 3606-3606	relatedInternalConcept time and located
(subrelation exactlyLocated located)	Merge.kif 3861-3861	subrelation exactlyLocated and located
(subrelation geographicSubregion located)	Merge.kif 12907-12907	subrelation geographicSubregion and located
(subrelation headquartersOfOrganization located)	Mid-level-ontology.kif 7285-7285	subrelation headquartersOfOrganization and located
(subrelation onboard located)	Mid-level-ontology.kif 14963-14963	subrelation onboard and located
(subrelation partiallyFills located)	Merge.kif 9257-9257	subrelation partiallyFills and located
(subrelation postCity located)	Mid-level-ontology.kif 22553-22553	subrelation postCity and located
(subrelation postCountry located)	Mid-level-ontology.kif 22496-22496	subrelation postCountry and located
(subrelation postDistrict located)	Mid-level-ontology.kif 22537-22537	subrelation postDistrict and located
(subrelation postNeighborhood located)	Mid-level-ontology.kif 22465-22465	subrelation postNeighborhood and located
(subrelation postPostcodeArea located)	Mid-level-ontology.kif 22579-22579	subrelation postPostcodeArea and located
(termFormat ChineseLanguage located "位于")	chinese_format.kif 146-146	termFormat ChineseLanguage, located and "位于"
(termFormat ChineseTraditionalLanguage located "位於")	domainEnglishFormat.kif 34770-34770	termFormat ChineseTraditionalLanguage, located and "位於"
(termFormat EnglishLanguage located "located")	domainEnglishFormat.kif 34769-34769	termFormat EnglishLanguage, located and "located"

antecedent

(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 22585-22590	located PostalPlace and PostcodeArea instance PostalPlace and PostalPlace instance PostcodeArea and PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 22558-22563	located PostalPlace and City instance PostalPlace and PostalPlace instance City and City postCity PostalPlace and City
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 22471-22476	located PostalPlace and Neighborhood instance PostalPlace and PostalPlace instance Neighborhood and Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 22542-22547	located PostalPlace and StateOrProvince instance PostalPlace and PostalPlace instance StateOrProvince and StateOrProvince 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 22508-22515	located PostalPlace and GeopoliticalArea instance PostalPlace and PostalPlace instance GeopoliticalArea and Nation instance GeopoliticalArea and DependencyOrSpecialSovereigntyArea 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)) (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 18260-18281	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human
(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))	TransportDetail.kif 153-171	capability ValetParking, agent and Organization customer CognitiveAgent and Organization located Organization and Object instance Process and Arriving agent Process and CognitiveAgent patient Process and Entity destination Process and Object occupiesPosition Human, Valet and Organization modalAttribute entity instance entity and ValetParking agent entity and Human patient entity and Entity destination entity and entity instance entity and ParkingRegion and Possibility
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C))	Military.kif 772-778	citizen Human and Nation Object located Human and Object located Human and Nation
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth))	Geography.kif 1860-1865	elevation Object and LengthMeasure located Object and Object instance Object and GeographicArea superficialPart Object and PlanetEarth
(=> (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 ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 334-349	freeRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and SetOrClass located Object and TemporaryResidence instance Process and Process agent Process and Human patient Process and Object instrument Process and Object resource Process and Object price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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 UnitedStatesDollar) ?HOTEL))	Hotel.kif 351-365	freeRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and SetOrClass instance Process and SetOrClass subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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	holdsDuring TimeInterval and attribute entity and DislocatedCivilian inhabits entity and Entity located Entity and GeographicArea instance GeographicArea and GeographicArea instance TimeInterval and TimeInterval TimeInterval entity-PLACE and entity-RES instance TimeInterval and TimeInterval earlier TimeInterval and TimeInterval instance entity-RES and Object instance entity-PLACE and GeopoliticalArea located entity-RES and entity-PLACE equal GeographicArea and entity-PLACE equal Entity and entity-RES geographicSubregion GeographicArea and entity-PLACE geographicSubregion entity-PLACE and GeographicArea holdsDuring TimeInterval and inhabits entity and entity-RES
(=> (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 22967-22976	instance Entity and Human holdsDuring TimePosition and deviceTelecomNumber entity and entity telephoneNumber entity and Entity located entity and entity instance entity and Residence holdsDuring TimePosition and inhabits Entity and entity
(=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1832-1837	instance Object and GeographicArea instance Physical and GeologicalFault located Physical and Object attribute Object and GeologicallyStable
(=> (and (instance ?ASO AntiSurfaceOperation) (patient ?ASO ?TARGET) (holdsDuring (WhenFn ?ASO) (located ?TARGET ?LOCATION))) (instance ?LOCATION WaterArea))	MilitaryProcesses.kif 665-671	instance Process and AntiSurfaceOperation patient Process and Entity holdsDuring WhenFn Process and located Entity and Entity instance Entity and WaterArea
(=> (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 540-556	instance Process and CateringService agent Process and CognitiveAgent destination Process and ProcessUST located CognitiveAgent and Object customer ProcessUST and CognitiveAgent Process Entity and Process instance Process and Cooking agent Process and CognitiveAgent result Process and Entity patient Process and Entity instance Process and Eating agent Process and ProcessUST eventLocated Process and Entity equal Object and Entity
(=> (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 2289-2308	instance Agreement and CivilAffairsAgreement partyToAgreement entity_MIL_THIS and Agreement instance entity_MIL_THIS and MilitaryOrganization militaryOfArea entity_MIL_THIS and entity_THIS instance entity_THIS and Nation located entity_MIL_THIS and entity_FRIENDLY instance entity_FRIENDLY and Nation equal entity_THIS and entity_FRIENDLY enemy entity_THIS and entity_FRIENDLY entity_FRIENDLY located entity_FRIENDLY and entity_FRIENDLY partyToAgreement entity_FRIENDLY and Agreement instance entity_FRIENDLY and MilitaryOrganization
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT))	MilitaryProcesses.kif 2224-2232	instance Process and CivilAffairsOperation located Process and GeopoliticalArea instance GeopoliticalArea and Nation instance Proposition and RegionalLawFn GeopoliticalArea realization Process and Proposition consistent Proposition and Proposition
(=> (and (instance ?D DeliveryService) (destination ?D ?LOC1) (deliveryRegion ?AGENT ?REGION) (conditionalProbability (located ?LOC1 ?REGION) (agent ?D ?AGENT) ?NUMBER1) (conditionalProbability (not (located ?LOC1 ?REGION)) (agent ?D ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1))	Dining.kif 507-516	instance Process and DeliveryService destination Process and Entity deliveryRegion Agent and GeographicArea conditionalProbability located Entity and GeographicArea, agent Process and Agent and RealNumber conditionalProbability located Entity and GeographicArea, agent Process and Agent and RealNumber lessThan RealNumber and RealNumber
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (exists (?LEARN) (and (instance ?LEARN Learning) (subProcess ?LEARN ?DISCOVER) (patient ?LEARN (located ?OBJ ?PLACE)))))	Merge.kif 11046-11055	instance Process and Discovering patient Process and Entity holdsDuring WhenFn Process and located Entity and entity Process instance Process and Learning subProcess Process and Process patient Process and located Entity and entity
(=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C))))	Cars.kif 509-521	instance Object and EngineCylinder instance Hole and Crankcase instance Physical and Piston instance Process and TwoStrokeTransfer holdsDuring Process and located Physical and Object equal Object and HoleHostFn Hole eventLocated Process and Object hasPurpose Physical and holdsDuring Process and partiallyFills Physical and Hole
(=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I))))	Cars.kif 463-475	instance Object and EngineCylinder instance Hole and InternalCombustionChamber instance Physical and Piston instance Process and TwoStrokeIntake holdsDuring Process and located Physical and Object equal Object and HoleHostFn Hole eventLocated Process and Object hasPurpose Physical and holdsDuring Process and partiallyFills Physical and Hole
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2)))))	Economy.kif 2435-2448	instance Process and Exporting patient Process and Entity instance Entity and GeopoliticalArea holdsDuring BeginFn WhenFn Process and located Entity and Entity Entity instance Entity and GeopoliticalArea geopoliticalSubdivision Entity and Entity geopoliticalSubdivision Entity and Entity holdsDuring EndFn WhenFn Process and located Entity and Entity
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (holdsDuring (EndFn (WhenFn ?EXPORT)) (not (located ?ITEM ?AREA))))	Economy.kif 2424-2433	instance Process and Exporting patient Process and Entity instance Entity and GeopoliticalArea holdsDuring BeginFn WhenFn Process and located Entity and Entity holdsDuring EndFn WhenFn Process and located Entity and Entity
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (instance ?AREA2 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))) (not (located ?AREA2 ?AREA1)))	Economy.kif 2459-2469	instance Process and Exporting patient Process and Entity instance Object and GeopoliticalArea instance Physical and GeopoliticalArea holdsDuring BeginFn WhenFn Process and located Entity and Object holdsDuring EndFn WhenFn Process and located Entity and Physical located Physical and Object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (beliefGroupPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1530-1541	beliefGroupPercentInRegion BeliefGroup, RealNumber and GeographicArea Collection Collection located Object and GeographicArea member Object and BeliefGroup member Object and Collection memberCount Collection and RealNumber located Object and GeographicArea member Object and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (ethnicityPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1549-1560	ethnicityPercentInRegion EthnicGroup, RealNumber and GeographicArea Collection Collection located Object and GeographicArea member Object and EthnicGroup member Object and Collection memberCount Collection and RealNumber located Object and GeographicArea member Object and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?G1) (speaksLanguage ?P ?L) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1568-1579	languagePercentInRegion Language, RealNumber and GeographicArea Collection Collection located SentientAgent and GeographicArea member SentientAgent and Collection speaksLanguage SentientAgent and Language memberCount Collection and RealNumber located SentientAgent and GeographicArea member SentientAgent and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (lengthOfBroadGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS BroadGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 179-186	lengthOfBroadGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and BroadGaugeRailway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfCrudeOilPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE CrudeOilPipeline) (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 701-708	lengthOfCrudeOilPipeline GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and CrudeOilPipeline located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfDualGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS DualGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 207-214	lengthOfDualGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and DualGaugeRailway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfElectrifiedRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS ElectrifiedRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 125-132	lengthOfElectrifiedRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and ElectrifiedRailway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfExpresswaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Expressway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 558-565	lengthOfExpresswaySystem GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Expressway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfMultipleTrackRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS MultipleTrackRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 152-159	lengthOfMultipleTrackRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and MultipleTrackRailway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfNarrowGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS NarrowGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 234-241	lengthOfNarrowGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and NarrowGaugeRailway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfNaturalGasPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE NaturalGasPipeline) (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 724-731	lengthOfNaturalGasPipeline GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and NaturalGasPipeline located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfPavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS SurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 532-539	lengthOfPavedHighway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and SurfacedRoadway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfPetroleumProductPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE PetroleumProductPipeline) (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 747-754	lengthOfPetroleumProductPipeline GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and PetroleumProductPipeline located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfStandardGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS StandardGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 262-269	lengthOfStandardGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and StandardGaugeRailway located SymbolicString and GeographicArea and LengthMeasure
(<=> (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (located ?RAILWAYS ?AREA) (not (instance ?RAILWAYS (UnionFn StandardGaugeRailway (UnionFn BroadGaugeRailway (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))	Transportation.kif 291-303	lengthOfUnclassifiedGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and located SymbolicString and GeographicArea instance SymbolicString and UnionFn StandardGaugeRailway and UnionFn BroadGaugeRailway and UnionFn DualGaugeRailway and NarrowGaugeRailway and LengthMeasure
(<=> (lengthOfUnpavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS UnsurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 590-597	lengthOfUnpavedHighway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and UnsurfacedRoadway located SymbolicString and GeographicArea and LengthMeasure
(<=> (locatedAtTime ?OBJ ?TIME ?PLACE) (holdsDuring ?TIME (located ?OBJ ?PLACE)))	Mid-level-ontology.kif 21213-21215	locatedAtTime Object, TimePosition and Object holdsDuring TimePosition and located Object and Object
(<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (cardinality (KappaFn ?AIRPORT (exists (?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) ?COUNT))	Transportation.kif 1266-1276	totalFacilityTypeInArea GeographicArea, ExtensionFn AirportWithPavedRunway and NonnegativeInteger cardinality KappaFn SymbolicString and entity instance SymbolicString and Airport instance entity and PavedRunway part entity and SymbolicString located SymbolicString and GeographicArea and NonnegativeInteger
(<=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (cardinality (KappaFn ?ITEM (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))) ?COUNT))	Transportation.kif 1210-1217	totalFacilityTypeInArea GeographicArea, Class and NonnegativeInteger cardinality KappaFn SymbolicString and instance SymbolicString and Class located SymbolicString and GeographicArea and NonnegativeInteger
(<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 478-485	totalLengthOfHighwaySystem GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Roadway located SymbolicString and GeographicArea and LengthMeasure
(<=> (totalLengthOfRailwaySystem ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS Railway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 98-105	totalLengthOfRailwaySystem GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Railway located SymbolicString and GeographicArea and LengthMeasure
(<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH))	Transportation.kif 674-681	totalPipelineInArea GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Pipeline located SymbolicString and GeographicArea and LengthMeasure
(=> (activityCapability ?AGENT ?ACT) (exists (?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (capability ?ACT located ?LOC))))	Hotel.kif 572-577	activityCapability Agent and Process Object element Object and PropertyFn Agent capability Process, located and Object
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (forall (?OBJ) (=> (and (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X) (instance ?OBJ Product)) (attribute ?OBJ DutyFree))))	Hotel.kif 1427-1438	attribute Object and DutyFree instance Object and Store Object instance Process and Selling patient Process and Object located Process and Object instance Object and Product attribute Object and DutyFree
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (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 18260-18281	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(holdsDuring
(WhenFn JesusOfNazareth)
(located JesusOfNazareth Palestine))

Media.kif 1922-1922

holdsDuring WhenFn JesusOfNazareth and located JesusOfNazareth and Palestine

appearance as argument number 0

(located AalandIslands BalticSea)	Media.kif 2533-2533	located AalandIslands and BalticSea
(located AntarcticCircumpolarCurrent SouthernOcean)	Geography.kif 4407-4407	located AntarcticCircumpolarCurrent and SouthernOcean
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean))	CountriesAndRegions.kif 588-588	located FrenchSouthernAndAntarcticLands and DirectionalSubregionFn South and IndianOcean
(located FrenchSouthernAndAntarcticLands IndianOcean)	CountriesAndRegions.kif 586-586	located FrenchSouthernAndAntarcticLands and IndianOcean
(located SaintHelena SouthAtlanticOcean)	CountriesAndRegions.kif 231-231	located SaintHelena and SouthAtlanticOcean

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: