Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  located

Sigma KEE - located
located

appearance as argument number 1
-------------------------


(documentation located ChineseLanguage "(located ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 partlyLocated 在 ?OBJ2,而且没有一处 ?OBJ1的 part 不是 located 在?OBJ2。") Merge.kif 4205-4206
(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 4202-4204
(domain located 1 Physical) Merge.kif 4199-4199 位于 的 1 数量 是 物理instance
(domain located 2 Object) Merge.kif 4200-4200 位于 的 2 数量 是 客体instance
(instance located AntisymmetricRelation) Merge.kif 4194-4194 位于反对称关系instance
(instance located TotalValuedRelation) Merge.kif 4196-4196 位于总值关系instance
(instance located TransitiveRelation) Merge.kif 4195-4195 位于传递关系instance
(subrelation located partlyLocated) Merge.kif 4197-4197 位于有一部分位于subrelation

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 99-99
(relatedInternalConcept time located) Merge.kif 3993-3993 时间位于 是 内部相关
(subrelation exactlyLocated located) Merge.kif 4264-4264 恰好位于位于subrelation
(subrelation geographicSubregion located) Merge.kif 14046-14046 geographicSubregion位于subrelation
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7284-7284 headquartersOfOrganization位于subrelation
(subrelation onboard located) Mid-level-ontology.kif 14963-14963 onboard位于subrelation
(subrelation partiallyFills located) Merge.kif 9999-9999 部分填入位于subrelation
(subrelation postCity located) Mid-level-ontology.kif 22552-22552 postCity位于subrelation
(subrelation postCountry located) Mid-level-ontology.kif 22495-22495 postCountry位于subrelation
(subrelation postDistrict located) Mid-level-ontology.kif 22536-22536 postDistrict位于subrelation
(subrelation postNeighborhood located) Mid-level-ontology.kif 22464-22464 postNeighborhood位于subrelation
(subrelation postPostcodeArea located) Mid-level-ontology.kif 22578-22578 postPostcodeArea位于subrelation
(termFormat ChineseLanguage located "位于") chinese_format.kif 146-146 termFormat ChineseLanguage, 位于 and "位于"
(termFormat EnglishLanguage located "located") domainEnglishFormat.kif 6228-6228 termFormat EnglishLanguage, 位于 and "located"

antecedent
-------------------------


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22584-22589 PostalPlacelocated PostcodeArea那个 PostalPlacePostalPlaceinstance那个 PostcodeAreaPostcodeAreainstance 若且唯若 postPostcodeArea 那个 PostalPlace and 那个 PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22557-22562 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 postCity 那个 PostalPlace and 那个 城市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22470-22475 PostalPlacelocated Neighborhood那个 PostalPlacePostalPlaceinstance那个 NeighborhoodNeighborhoodinstance 若且唯若 postNeighborhood 那个 PostalPlace and 那个 Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22541-22546 PostalPlacelocated 州或省那个 PostalPlacePostalPlaceinstance那个 州或省州或省instance 若且唯若 postDistrict 那个 PostalPlace and 那个 州或省
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22507-22514 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域DependencyOrSpecialSovereigntyAreainstance 若且唯若 postCountry 那个 PostalPlace and 那个 地缘政治区域
(=>
    (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 18259-18280
(=>
    (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 151-169
(=>
    (and
        (citizen ?P ?C)
        (not
            (exists (?L)
                (located ?P ?L))))
    (located ?P ?C))
Military.kif 772-778
(=>
    (and
        (customer ?CUST ?AGENT)
        (corkageFee ?AMT ?ITEM ?AGENT)
        (instance ?X ?ITEM)
        (not
            (exists (?B)
                (and
                    (instance ?B Buying)
                    (patient ?B ?X)
                    (destination ?B ?CUST)
                    (origin ?B ?AGENT))))
        (holdsDuring
            (WhenFn
                (located ?CUST ?LOC))
            (and
                (instance ?P IntentionalProcess)
                (or
                    (patient ?P ?X)
                    (resource ?P ?X)
                    (instrument ?P ?X))
                (agent ?P ?CUST))))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (destination ?C ?AGENT))))
Dining.kif 130-153
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 1848-1853
(=>
    (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 333-348
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 350-363
(=>
    (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 ?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 22966-22975
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1820-1825
(=>
    (and
        (instance ?ASO AntiSurfaceOperation)
        (patient ?ASO ?TARGET)
        (holdsDuring
            (WhenFn ?ASO)
            (located ?TARGET ?LOCATION)))
    (instance ?LOCATION WaterArea))
MilitaryProcesses.kif 654-660
(=>
    (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 544-560
(=>
    (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 2276-2295
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))
MilitaryProcesses.kif 2211-2219
(=>
    (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 511-520
(=>
    (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 11929-11938
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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

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 1526-1537 beliefGroupPercentInRegion BeliefGroup, 实数 and 地理区域 若且唯若 有存在 群体另一个 群体 这样 客体located那个 地理区域那个 客体那个 BeliefGroupmember那个 客体那个 群体membermemberCount 那个 群体 and 那个 实数1 和 那个 客体2 是 located那个 地理区域那个 客体2 是 那个 另外 群体membermemberCount 那个 另外 群体 and 那个 实数2 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
(<=>
    (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 1545-1556 ethnicityPercentInRegion 民族群组, 实数 and 地理区域 若且唯若 有存在 群体另一个 群体 这样 客体located那个 地理区域那个 客体那个 民族群组member那个 客体那个 群体membermemberCount 那个 群体 and 那个 实数1 和 那个 客体2 是 located那个 地理区域那个 客体2 是 那个 另外 群体membermemberCount 那个 另外 群体 and 那个 实数2 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
(<=>
    (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 1564-1575 languagePercentInRegion 语言, 实数 and 地理区域 若且唯若 有存在 群体另一个 群体 这样 有感知的主事located那个 地理区域那个 有感知的主事那个 群体memberspeaksLanguage 那个 有感知的主事 and 那个 语言memberCount 那个 群体 and 那个 实数1 和 那个 有感知的主事2 是 located那个 地理区域那个 有感知的主事2 是 那个 另外 群体membermemberCount 那个 另外 群体 and 那个 实数2 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 179-186 lengthOfBroadGaugeRailway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 701-708 lengthOfCrudeOilPipeline 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 207-214 lengthOfDualGaugeRailway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 125-132 lengthOfElectrifiedRailway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 558-565 lengthOfExpresswaySystem 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 152-159 lengthOfMultipleTrackRailway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 234-241 lengthOfNarrowGaugeRailway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 724-731 lengthOfNaturalGasPipeline 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 532-539 lengthOfPavedHighway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 747-754 lengthOfPetroleumProductPipeline 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 262-269 lengthOfStandardGaugeRailway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (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 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 590-597 lengthOfUnpavedHighway 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (locatedAtTime ?OBJ ?TIME ?PLACE)
    (holdsDuring ?TIME
        (located ?OBJ ?PLACE)))
Mid-level-ontology.kif 21212-21214 locatedAtTime 客体, 时间位置 and 另一个 客体 若且唯若 那个 客体located那个 另外 客体那个 时间位置 holdsDuring
(<=>
    (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 1251-1261 totalFacilityTypeInArea 地理区域, 和 AirportWithPavedRunway 对应的 Class and 非负整数 若且唯若 cardinality 符号串 所描述的类别 and 那个 非负整数
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))
Transportation.kif 1195-1202 totalFacilityTypeInArea 地理区域, and 非负整数 若且唯若 cardinality 符号串 所描述的类别 and 那个 非负整数
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 478-485 totalLengthOfHighwaySystem 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105 totalLengthOfRailwaySystem 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))
Transportation.kif 674-681 totalPipelineInArea 地理区域 and 长度测量 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(=>
    (activityCapability ?AGENT ?ACT)
    (exists (?LOC)
        (and
            (element ?LOC
                (PropertyFn ?AGENT))
            (capability ?ACT located ?LOC))))
Hotel.kif 568-573
(=>
    (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 1423-1434
(=>
    (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 18259-18280

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 JesusOfNazarethlocatedPalestineJesusOfNazareth 出现 的 time holdsDuring

appearance as argument number 0
-------------------------


(located AalandIslands BalticSea) Media.kif 2533-2533 AalandIslandslocatedBalticSea
(located AntarcticCircumpolarCurrent SouthernOcean) Geography.kif 4394-4394 AntarcticCircumpolarCurrentlocatedSouthernOcean
(located FrenchSouthernAndAntarcticLands
    (DirectionalSubregionFn South IndianOcean))
CountriesAndRegions.kif 588-588 FrenchSouthernAndAntarcticLandslocatedDirectionalSubregionFn South and IndianOcean
(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586 FrenchSouthernAndAntarcticLandslocatedIndianOcean
(located SaintHelena SouthAtlanticOcean) CountriesAndRegions.kif 231-231 SaintHelenalocatedSouthAtlanticOcean


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

Show without tree


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