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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - located
located

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


s__documentation(s__located__m,s__ChineseLanguage,'(located ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 partlyLocated 在 ?OBJ2,而且没有一处 ?OBJ1的 part 不是 located 在?OBJ2。')

Merge.kif 4192-4193
s__documentation(s__located__m,s__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 4189-4191
s__domain(s__located__m,1,s__Physical)

Merge.kif 4186-4186
s__domain(s__located__m,2,s__Object)

Merge.kif 4187-4187
s__instance(s__located__m,s__AntisymmetricRelation)

Merge.kif 4181-4181
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 4183-4183
s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 4182-4182
s__subrelation(s__located__m,s__partlyLocated__m)

Merge.kif 4184-4184

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__located__m,'%1 %n 是 located 在 %2')

chinese_format.kif 145-145
s__format(s__EnglishLanguage,s__located__m,'%1 is %n located at %2')

english_format.kif 99-99
s__format(s__FrenchLanguage,s__located__m,'%1 est %n situ� � %2')

french_format.kif 94-94
s__format(s__ItalianLanguage,s__located__m,'%1 � %n localizzato in %2')

relations-it.txt 170-170
s__format(s__PortugueseLanguage,s__located__m,'%1 e %n situado em %2')

portuguese_format.kif 46-46
s__format(s__ar__m,s__located__m,'%1 هو %n يَقَع في %2')

arabic_format.kif 44-44
s__format(s__cz__m,s__located__m,'%1 %p{je} %n{nen�} located at %2')

relations-cz.txt 128-128
s__format(s__de__m,s__located__m,'%1 befindet sich an %n{nicht}')

relations-de.txt 176-176
s__format(s__hi__m,s__located__m,'%1 %2 para/men sthita %n hai')

relations-hindi.txt 208-208
s__format(s__tg__m,s__located__m,'%1 %n ay sa %2')

relations-tg.txt 339-339
s__relatedInternalConcept(s__time__m,s__located__m)

Merge.kif 3980-3980
s__subrelation(s__basedIn__m,s__located__m)

TravelPolicies.kif 374-374
s__subrelation(s__exactlyLocated__m,s__located__m)

Merge.kif 4251-4251
s__subrelation(s__geographicSubregion__m,s__located__m)

Merge.kif 13988-13988
s__subrelation(s__headquartersOfOrganization__m,s__located__m)

Mid-level-ontology.kif 7284-7284
s__subrelation(s__onboard__m,s__located__m)

Mid-level-ontology.kif 14963-14963
s__subrelation(s__partiallyFills__m,s__located__m)

Merge.kif 9941-9941
s__subrelation(s__postCity__m,s__located__m)

Mid-level-ontology.kif 22521-22521
s__subrelation(s__postCountry__m,s__located__m)

Mid-level-ontology.kif 22464-22464
s__subrelation(s__postDistrict__m,s__located__m)

Mid-level-ontology.kif 22505-22505
s__subrelation(s__postNeighborhood__m,s__located__m)

Mid-level-ontology.kif 22433-22433
s__subrelation(s__postPostcodeArea__m,s__located__m)

Mid-level-ontology.kif 22547-22547
s__termFormat(s__ChineseLanguage,s__located__m,'位于')

chinese_format.kif 146-146
s__termFormat(s__EnglishLanguage,s__located__m,'located')

domainEnglishFormat.kif 6228-6228
s__termFormat(s__ar__m,s__located__m,'«يَقَع في»')

arabic_format.kif 494-494

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__PLACE,V__AREA] :
   ((s__located(V__PLACE,V__AREA)
     &
     s__instance(V__PLACE,s__PostalPlace) &
     s__instance(V__AREA,s__PostcodeArea))
   <=>
   s__postPostcodeArea(V__PLACE,V__AREA))
)

Mid-level-ontology.kif 22553-22558
( ! [V__PLACE,V__GEO] :
   ((s__located(V__PLACE,V__GEO)
     &
     s__instance(V__PLACE,s__PostalPlace) &
     s__instance(V__GEO,s__City))
   <=>
   s__postCity(V__PLACE,V__GEO))
)

Mid-level-ontology.kif 22526-22531
( ! [V__PLACE,V__GEO] :
   ((s__located(V__PLACE,V__GEO)
     &
     s__instance(V__PLACE,s__PostalPlace) &
     s__instance(V__GEO,s__Neighborhood))
   <=>
   s__postNeighborhood(V__PLACE,V__GEO))
)

Mid-level-ontology.kif 22439-22444
( ! [V__PLACE,V__GEO] :
   ((s__located(V__PLACE,V__GEO)
     &
     s__instance(V__PLACE,s__PostalPlace) &
     s__instance(V__GEO,s__StateOrProvince))
   <=>
   s__postDistrict(V__PLACE,V__GEO))
)

Mid-level-ontology.kif 22510-22515
( ! [V__PLACE,V__GEO] :
   ((s__located(V__PLACE,V__GEO)
     &
     s__instance(V__PLACE,s__PostalPlace) &
     (s__instance(V__GEO,s__Nation) |
       s__instance(V__GEO,s__DependencyOrSpecialSovereigntyArea)))
   <=>
   s__postCountry(V__PLACE,V__GEO))
)

Mid-level-ontology.kif 22476-22483
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
( ! [V__P,V__C] :
   ((s__citizen(V__P,V__C)
     &
     (~ (? [V__L] :
         s__located(V__P,V__L))))
=>
s__located(V__P,V__C))
)

Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
( ! [V__OBJECT,V__HEIGHT,V__PLACE] :
   ((s__elevation(V__OBJECT,V__HEIGHT)
     &
     s__located(V__OBJECT,V__PLACE)
   &
   s__instance(V__PLACE,s__GeographicArea))
=>
s__superficialPart(V__PLACE,s__PlanetEarth))
)

Geography.kif 1848-1853
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] :
   ((s__freeRoomAmenity(V__ROOM,V__OBJ)
     &
     s__subclass(V__OBJ,s__Object) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 333-348
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] :
   ((s__freeRoomAmenity(V__ROOM,V__PROC)
     &
     s__subclass(V__PROC,s__Process) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
(s__instance(V__P,V__PROC)
|
(s__instance(V__S,V__PROC)
&
s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 350-363
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22935-22944
( ! [V__AREA,V__FAULT] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__FAULT,s__GeologicalFault) &
       s__located(V__FAULT,V__AREA))
   =>
   (~ s__attribute(V__AREA,s__GeologicallyStable)))
)

Geography.kif 1820-1825
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 654-660
( ! [V__C,V__AGENT,V__CUST,V__LOC1,V__LOC2] :
   ((s__instance(V__C,s__CateringService) &
       s__agent(V__C,V__AGENT)
     &
     s__destination(V__C,V__CUST)
   &
   s__located(V__AGENT,V__LOC1)
&
s__customer(V__CUST,V__AGENT)
&
(? [V__S,V__FOOD,V__E] :
(s__instance(V__S,s__Cooking) &
   s__agent(V__S,V__AGENT)
&
s__result(V__S,V__FOOD)
&
s__patient(V__C,V__FOOD)
&
s__instance(V__E,s__Eating) &
s__agent(V__E,V__CUST)
&
s__eventLocated(V__E,V__LOC2))))
=>
(~ (V__LOC1 = V__LOC2)))
)

Dining.kif 544-560
( ! [V__CAA,V__AGENT_MIL_THIS,V__NATION_THIS,V__NATION_FRIENDLY] :
   ((s__instance(V__CAA,s__CivilAffairsAgreement) &
       s__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
     &
     s__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization) &
     s__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
   &
   s__instance(V__NATION_THIS,s__Nation) &
   s__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)
&
s__instance(V__NATION_FRIENDLY,s__Nation))
=>
((~ (V__NATION_THIS = V__NATION_FRIENDLY))
&
(~ s__enemy(V__NATION_THIS,V__NATION_FRIENDLY))
&
(? [V__AGENT_FRIENDLY] :
(s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
&
s__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
&
(~ s__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization))))))
)

MilitaryProcesses.kif 2276-2295
( ! [V__CAO,V__NATION,V__LAW,V__CONTENT] :
   ((s__instance(V__CAO,s__CivilAffairsOperation) &
       s__located(V__CAO,V__NATION)
     &
     s__instance(V__NATION,s__Nation) &
     s__instance(V__LAW,s__RegionalLawFn(V__NATION))
&
s__realization(V__CAO,V__CONTENT))
=>
s__consistent(V__LAW,V__CONTENT))
)

MilitaryProcesses.kif 2211-2219
No TPTP formula. May not be expressible in strict first order. Dining.kif 511-520
No TPTP formula. May not be expressible in strict first order. Merge.kif 11871-11880
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Economy.kif 2435-2448
No TPTP formula. May not be expressible in strict first order. Economy.kif 2424-2433

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__BG,V__N,V__R,V__P,V__N1,V__P2,V__N2] :
   (s__beliefGroupPercentInRegion(V__BG,V__N,V__R)
   <=>
   (? [V__G1,V__G2] :
     (s__located(V__P,V__R)
     &
     s__member(V__P,V__BG)
   &
   s__member(V__P,V__G1)
&
s__memberCount(V__G1,V__N1)
&
s__located(V__P2,V__R)
&
s__member(V__P2,V__G2)
&
s__memberCount(V__G2,V__N2)
&
(s__DivisionFn(V__N,100)
= s__DivisionFn(V__N1,V__N2)))))
)

People.kif 1526-1537
( ! [V__BG,V__N,V__R,V__P,V__N1,V__P2,V__N2] :
   (s__ethnicityPercentInRegion(V__BG,V__N,V__R)
   <=>
   (? [V__G1,V__G2] :
     (s__located(V__P,V__R)
     &
     s__member(V__P,V__BG)
   &
   s__member(V__P,V__G1)
&
s__memberCount(V__G1,V__N1)
&
s__located(V__P2,V__R)
&
s__member(V__P2,V__G2)
&
s__memberCount(V__G2,V__N2)
&
(s__DivisionFn(V__N,100)
= s__DivisionFn(V__N1,V__N2)))))
)

People.kif 1545-1556
( ! [V__L,V__N,V__R,V__P,V__N1,V__P2,V__N2] :
   (s__languagePercentInRegion(V__L,V__N,V__R)
   <=>
   (? [V__G1,V__G2] :
     (s__located(V__P,V__R)
     &
     s__member(V__P,V__G1)
   &
   s__speaksLanguage(V__P,V__L)
&
s__memberCount(V__G1,V__N1)
&
s__located(V__P2,V__R)
&
s__member(V__P2,V__G2)
&
s__memberCount(V__G2,V__N2)
&
(s__DivisionFn(V__N,100)
= s__DivisionFn(V__N1,V__N2)))))
)

People.kif 1564-1575
No TPTP formula. May not be expressible in strict first order. Transportation.kif 179-186
No TPTP formula. May not be expressible in strict first order. Transportation.kif 674-681
No TPTP formula. May not be expressible in strict first order. Transportation.kif 207-214
No TPTP formula. May not be expressible in strict first order. Transportation.kif 125-132
No TPTP formula. May not be expressible in strict first order. Transportation.kif 531-538
No TPTP formula. May not be expressible in strict first order. Transportation.kif 152-159
No TPTP formula. May not be expressible in strict first order. Transportation.kif 234-241
No TPTP formula. May not be expressible in strict first order. Transportation.kif 697-704
No TPTP formula. May not be expressible in strict first order. Transportation.kif 505-512
No TPTP formula. May not be expressible in strict first order. Transportation.kif 720-727
No TPTP formula. May not be expressible in strict first order. Transportation.kif 262-269
No TPTP formula. May not be expressible in strict first order. Transportation.kif 291-303
No TPTP formula. May not be expressible in strict first order. Transportation.kif 563-570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21181-21183
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1224-1234
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1168-1175
No TPTP formula. May not be expressible in strict first order. Transportation.kif 451-458
No TPTP formula. May not be expressible in strict first order. Transportation.kif 98-105
No TPTP formula. May not be expressible in strict first order. Transportation.kif 647-654
( ! [V__AGENT,V__ACT] :
   (s__activityCapability(V__AGENT,V__ACT)
   =>
   (? [V__LOC] :
     (s__element(V__LOC,s__PropertyFn(V__AGENT))
   &
   s__capability(V__ACT,s__located__m,V__LOC))))
)

Hotel.kif 568-573
( ! [V__X,V__SELL] :
   ((s__attribute(V__X,s__DutyFree) &
       s__instance(V__X,s__Store))
     =>
     (! [V__OBJ] :
       ((s__instance(V__SELL,s__Selling) &
           s__patient(V__SELL,V__OBJ)
         &
         s__located(V__SELL,V__X)
       &
       s__instance(V__OBJ,s__Product))
     =>
     s__attribute(V__OBJ,s__DutyFree))))
)

Hotel.kif 1423-1434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1922-1922