| appearance as argument number 1 |
|
| s__documentation(s__eventLocated__m,s__ChineseLanguage,'(eventLocated ?PROC ?OBJ) 的意思是整个 Process ?PROC 是位于 Object ?OBJ，也就是说所有 ?PROC 的 subProcess 是位于 ?OBJ。')
|
Merge.kif 4240-4241 | |
| s__documentation(s__eventLocated__m,s__EnglishLanguage,'(eventLocated ?PROC ?OBJ) means that the entire Process ?PROC is located on Object ?OBJ, meaning that all subProcess of ?PROC is located on ?OBJ')
|
Merge.kif 4237-4239 | |
| s__instance(s__CaseRole,s__SetOrClass)
|
Merge.kif 4235-4235 | |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 4236-4236 | |
| s__subrelation(s__eventLocated__m,s__eventPartlyLocated__m)
|
Merge.kif 4234-4234 |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__eventLocated__m,'%1 is located at 2') | domainEnglishFormat.kif 841-841 | |
| s__termFormat(s__EnglishLanguage,s__eventLocated__m,'event located')
|
Merge.kif 4242-4242 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1158-1175 | |
| ( ! [V__AREA,V__BLOW] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__BLOW,s__VolcanicEruption) & s__eventLocated(V__BLOW,V__AREA)) => (~ s__attribute(V__AREA,s__GeologicallyStable))) )
|
Geography.kif 1806-1811 | |
| ( ! [V__AREA,V__SHAKING] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__SHAKING,s__EarthTremor) & s__eventLocated(V__SHAKING,V__AREA)) => (~ s__attribute(V__AREA,s__GeologicallyStable))) )
|
Geography.kif 1813-1818 | |
| ( ! [V__AREA,V__WEATHER,V__FRACTION] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__WEATHER,s__ClearWeather) & s__eventLocated(V__WEATHER,V__AREA) & s__cloudCoverFraction(V__AREA,V__FRACTION)) => s__lessThan(V__FRACTION,0.3)) )
|
Weather.kif 504-510 | |
| ( ! [V__AREA,V__WEATHER] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__WEATHER,s__ClearWeather) & s__eventLocated(V__WEATHER,V__AREA)) => (? [V__FRACTION] : (s__cloudCoverFraction(V__AREA,V__FRACTION) & s__lessThan(V__FRACTION,0.3)))) )
|
Weather.kif 494-502 | |
| ( ! [V__AREA,V__WEATHER,V__FRACTION] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__WEATHER,s__OvercastWeather) & s__eventLocated(V__WEATHER,V__AREA) & s__cloudCoverFraction(V__AREA,V__FRACTION)) => s__greaterThan(V__FRACTION,0.7)) )
|
Weather.kif 555-561 | |
| ( ! [V__AREA,V__WEATHER] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__WEATHER,s__OvercastWeather) & s__eventLocated(V__WEATHER,V__AREA)) => (? [V__FRACTION] : (s__cloudCoverFraction(V__AREA,V__FRACTION) & s__greaterThan(V__FRACTION,0.7)))) )
|
Weather.kif 545-553 | |
| ( ! [V__AREA,V__WEATHER,V__FRACTION] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__WEATHER,s__PartlyCloudyWeather) & s__eventLocated(V__WEATHER,V__AREA) & s__cloudCoverFraction(V__AREA,V__FRACTION)) => (s__greaterThanOrEqualTo(V__FRACTION,0.3) & s__lessThanOrEqualTo(V__FRACTION,0.7))) )
|
Weather.kif 529-537 | |
| ( ! [V__AREA,V__WEATHER] : ((s__instance(V__AREA,s__GeographicArea) & s__instance(V__WEATHER,s__PartlyCloudyWeather) & s__eventLocated(V__WEATHER,V__AREA)) => (? [V__FRACTION] : (s__cloudCoverFraction(V__AREA,V__FRACTION) & s__greaterThanOrEqualTo(V__FRACTION,0.3) & s__lessThanOrEqualTo(V__FRACTION,0.7)))) )
|
Weather.kif 518-527 | |
| ( ! [V__AS,V__P] : ((s__instance(V__AS,s__ArtSchool) & s__instance(V__P,s__EducationalProcess) & s__eventLocated(V__P,V__AS)) => (? [V__M,V__ART] : (s__instance(V__M,s__Making) & s__patient(V__M,V__ART) & s__instance(V__ART,s__ArtWork) & s__refers(V__P,V__M)))) )
|
Mid-level-ontology.kif 14364-14374 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 | |
| ( ! [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__DRYSPELL,V__AREA] : ((s__instance(V__DRYSPELL,s__Drought) & s__eventLocated(V__DRYSPELL,V__AREA)) => (~ (? [V__RAIN,V__PLACE] : (s__instance(V__RAIN,s__Raining) & s__instance(V__PLACE,s__Region) & s__eventLocated(V__RAIN,V__PLACE) & s__overlapsSpatially(V__PLACE,V__AREA) & s__overlapsTemporally(V__RAIN,V__DRYSPELL))))) )
|
Weather.kif 908-919 | |
| 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. | Cars.kif 1314-1343 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1890-1906 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1863-1879 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1932-1951 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15141-15153 | |
| ( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeCombustion) & s__instance(V__C,s__EngineCylinder) & s__instance(V__I,s__InternalCombustionChamber) & (V__C = s__HoleHostFn(V__I)) & s__eventLocated(V__F,V__C)) => (? [V__CO] : (s__instance(V__CO,s__Combustion) & s__subProcess(V__CO,V__F)))) )
|
Cars.kif 207-217 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 191-200 | |
| ( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeExhaust) & s__instance(V__C,s__EngineCylinder) & s__instance(V__I,s__InternalCombustionChamber) & (V__C = s__HoleHostFn(V__I)) & s__eventLocated(V__F,V__C)) => (? [V__E,V__M] : (s__instance(V__M,s__GasMotion) & s__instance(V__E,s__Exhaust) & s__subProcess(V__M,V__F) & s__origin(V__M,V__I) & s__patient(V__M,V__E)))) )
|
Cars.kif 225-238 | |
| ( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeIntake) & s__instance(V__C,s__EngineCylinder) & s__instance(V__I,s__InternalCombustionChamber) & (V__C = s__HoleHostFn(V__I)) & s__eventLocated(V__F,V__C)) => (? [V__FV,V__M] : (s__instance(V__M,s__GasMotion) & s__instance(V__FV,s__FuelVapor) & s__subProcess(V__M,V__F) & s__destination(V__M,V__I) & s__patient(V__M,V__FV)))) )
|
Cars.kif 171-184 | |
| ( ! [V__F,V__P,V__I,V__E,V__LOC] : ((s__instance(V__F,s__MilitaryForce) & s__instance(V__P,s__Human) & s__instance(V__I,s__Imprisoning) & s__member(V__P,V__F) & s__agent(V__I,V__E) & s__patient(V__I,V__P) & s__enemy(V__E,V__P) & s__eventLocated(V__I,V__LOC) & s__attribute(V__LOC,s__WarState)) => s__attribute(V__P,s__PrisonerOfWar)) )
|
MilitaryPersons.kif 285-296 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14408-14417 | |
| ( ! [V__M,V__S] : ((s__attribute(V__M,s__StudioRecording) & s__instance(V__M,s__Recording)) => (? [V__P] : (s__record(V__M,V__P) & s__eventLocated(V__P,V__S) & s__instance(V__S,s__RecordingStudio)))) )
|
Music.kif 395-403 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1158-1175 | |
| ( ! [V__X] : ((s__attribute(V__X,s__Historical) & s__instance(V__X,s__City)) => (? [V__EV] : (s__instance(V__EV,s__Physical) & s__attribute(V__EV,s__Historical) & s__eventLocated(V__EV,V__X)))) )
|
Mid-level-ontology.kif 24620-24628 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24067-24079 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 797-804 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 349-361 | |
| ( ! [V__CRAFT,V__EVENT] : ((s__instance(V__CRAFT,s__WaterVehicle) & s__instance(V__EVENT,s__Transportation) & s__instrument(V__EVENT,V__CRAFT)) => (? [V__WATER] : (s__instance(V__WATER,s__WaterArea) & s__eventLocated(V__EVENT,V__WATER)))) )
|
Mid-level-ontology.kif 4034-4042 | |
| ( ! [V__DRYSPELL,V__AREA] : ((s__instance(V__DRYSPELL,s__Drought) & s__eventLocated(V__DRYSPELL,V__AREA)) => (~ (? [V__RAIN,V__PLACE] : (s__instance(V__RAIN,s__Raining) & s__instance(V__PLACE,s__Region) & s__eventLocated(V__RAIN,V__PLACE) & s__overlapsSpatially(V__PLACE,V__AREA) & s__overlapsTemporally(V__RAIN,V__DRYSPELL))))) )
|
Weather.kif 908-919 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1712-1728 | |
| ( ! [V__EV,V__O,V__A] : ((s__instance(V__EV,s__Evacuation) & s__origin(V__EV,V__O) & s__agent(V__EV,V__A)) => (? [V__M,V__MA] : (s__instance(V__M,s__Maintaining) & s__eventLocated(V__M,V__O) & s__subProcess(V__M,V__EV) & (s__subOrganization(V__MA,V__A) | s__member(V__MA,V__A) | (V__MA = V__A)) & s__agent(V__M,V__MA)))) )
|
MilitaryProcesses.kif 2540-2554 | |
| ( ! [V__GRP,V__MP,V__OD] : ((s__instance(V__GRP,s__MarchingBand) & s__instance(V__MP,s__MusicalPerformance) & s__agent(V__MP,V__GRP)) => (s__instance(V__OD,s__Outdoors) & s__eventLocated(V__MP,V__OD) & (? [V__AMB] : (s__instance(V__AMB,s__Ambulating) & s__subProcess(V__AMB,V__MP))))) )
|
Music.kif 983-994 | |
| ( ! [V__ORG,V__P] : ((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__MiscellaneousStoreRetailers)) => (? [V__EV,V__MEM] : (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & (? [V__THING,V__ST] : (s__instance(V__EV,s__Selling) & s__instance(V__P,s__Human) & s__instance(V__ST,s__RetailStore) & s__eventLocated(V__EV,V__ST) & s__instance(V__THING,s__Object) & s__patient(V__EV,V__THING)))))) )
|
naics.kif 7759-7774 | |
| ( ! [V__ORG] : ((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__NonstoreRetailers)) => (? [V__EV,V__MEM] : (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & (? [V__THING,V__P] : (s__instance(V__EV,s__Selling) & s__instance(V__P,s__Human) & s__instance(V__THING,s__Object) & (~ s__eventLocated(V__EV,s__RetailStore)) & s__destination(V__EV,V__P) & s__patient(V__EV,V__THING)))))) )
|
naics.kif 7886-7902 | |
| ( ! [V__PROC,V__LOC,V__SUB] : ((s__instance(V__PROC,s__Process) & s__eventLocated(V__PROC,V__LOC) & s__subProcess(V__SUB,V__PROC)) => s__eventLocated(V__SUB,V__LOC)) )
|
Mid-level-ontology.kif 21386-21391 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1178-1197 | |
| ( ! [V__SHOCK,V__PLACE] : ((s__instance(V__SHOCK,s__Aftershock) & s__eventLocated(V__SHOCK,V__PLACE)) => (? [V__TREMOR] : (s__instance(V__TREMOR,s__EarthTremor) & s__eventLocated(V__TREMOR,V__PLACE) & s__before(s__WhenFn(V__TREMOR) ,s__WhenFn(V__SHOCK))))) )
|
Geography.kif 2261-2269 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11381-11393 | |
| ( ! [V__TSC,V__E] : ((s__instance(V__TSC,s__TwoStrokeCompression) & s__eventLocated(V__TSC,V__E) & s__instance(V__E,s__TwoStrokeEngine)) => (? [V__C] : (s__instance(V__C,s__Explosion) & s__during(V__C,V__TSC) & s__eventLocated(V__C,V__E)))) )
|
Cars.kif 491-500 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28110-28139 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24483-24501 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25089-25115 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4486-4496 | |
| ( ! [V__AREA] : (s__attribute(V__AREA,s__FertileTerrain) => s__capability(s__Agriculture,s__eventLocated__m,V__AREA)) )
|
Geography.kif 1772-1774 | |
| ( ! [V__H] : (s__attribute(V__H,s__Emphysema) => (? [V__L,V__P] : (s__instance(V__L,s__Lung) & s__part(V__L,V__H) & s__instance(V__P,s__PathologicProcess) & s__eventLocated(V__P,V__L)))) )
|
Mid-level-ontology.kif 6026-6033 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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