eventLocated - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__eventLocated__m,s__ChineseLanguage,'(eventLocated ?PROC ?OBJ) 的意思是整个 Process ?PROC 是位于 Object ?OBJ，也就是说所有 ?PROC 的 subProcess 是位于 ?OBJ。')	Merge.kif 4253-4254
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 4250-4252
s__instance(s__CaseRole,s__SetOrClass) s__instance(s__eventLocated__m,s__CaseRole)	Merge.kif 4248-4248	event located is an instance of case role
s__instance(s__TotalValuedRelation,s__SetOrClass) s__instance(s__eventLocated__m,s__TotalValuedRelation)	Merge.kif 4249-4249	event located is an instance of total valued relation
s__subrelation(s__eventLocated__m,s__eventPartlyLocated__m)	Merge.kif 4247-4247	event located is a subrelation of event partly located

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 4255-4255	"event located" is the printable form of event located in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
( ! [V__AREA,V__BLOW] : ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__BLOW,s__VolcanicEruption)s__and__ms__eventLocated(V__BLOW,V__AREA)) s__=>(s__not__ms__attribute(V__AREA,s__GeologicallyStable))) )	Geography.kif 1806-1811	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at 2, then geologically stable is not an attribute of the object
( ! [V__AREA,V__SHAKING] : ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__SHAKING,s__EarthTremor)s__and__ms__eventLocated(V__SHAKING,V__AREA)) s__=>(s__not__ms__attribute(V__AREA,s__GeologicallyStable))) )	Geography.kif 1813-1818	If an object is an instance of geographic area and a process is an instance of earth tremor and the process is located at 2, then geologically stable is not an attribute of the object
( ! [V__FRACTION,V__AREA,V__WEATHER] : (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__ClearWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA) s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION)) s__=>s__lessThan(V__FRACTION,0.3))) )	Weather.kif 504-510	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is less than 0.3
( ! [V__AREA,V__WEATHER] : ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__ClearWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)) s__=>(s__exists__m[V__FRACTION] : (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION) s__and__ms__lessThan(V__FRACTION,0.3))))) )	Weather.kif 494-502	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at 2, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is less than 0.3
( ! [V__FRACTION,V__AREA,V__WEATHER] : (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__OvercastWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA) s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION)) s__=>s__greaterThan(V__FRACTION,0.7))) )	Weather.kif 555-561	If a region is an instance of geographic area and a process is an instance of overcast weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than 0.7
( ! [V__AREA,V__WEATHER] : ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__OvercastWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)) s__=>(s__exists__m[V__FRACTION] : (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION) s__and__ms__greaterThan(V__FRACTION,0.7))))) )	Weather.kif 545-553	If a region is an instance of geographic area and a process is an instance of overcast weather and the process is located at 2, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than 0.7
( ! [V__FRACTION,V__AREA,V__WEATHER] : (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__PartlyCloudyWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA) s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION)) s__=>(s__greaterThanOrEqualTo(V__FRACTION,0.3) s__and__ms__lessThanOrEqualTo(V__FRACTION,0.7)))) )	Weather.kif 529-537	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
( ! [V__AREA,V__WEATHER] : ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__PartlyCloudyWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)) s__=>(s__exists__m[V__FRACTION] : (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION) s__and__ms__greaterThanOrEqualTo(V__FRACTION,0.3) s__and__ms__lessThanOrEqualTo(V__FRACTION,0.7))))) )	Weather.kif 518-527	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
( ! [V__AS,V__P] : ((s__instance(V__AS,s__ArtSchool)s__and__ms__instance(V__P,s__EducationalProcess)s__and__ms__eventLocated(V__P,V__AS)) s__=>(s__exists__m[V__M,V__ART] : (s__instance(V__M,s__Making)s__and__ms__patient(V__M,V__ART) s__and__ms__instance(V__ART,s__ArtWork)s__and__ms__refers(V__P,V__M)))) )	Mid-level-ontology.kif 14364-14374	If an entity is an instance of art school and a process is an instance of educational process and the process is located at 2, then there exist another process and another entity such that the other process is an instance of making and the other entity is a patient of the other process and the other entity is an instance of art work and the process includes a reference to the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object has purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
( ! [V__AGENT,V__CUST,V__LOC1,V__C,V__LOC2] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__LOC1,s__Object)) s__=>((s__instance(V__C,s__CateringService)s__and__ms__agent(V__C,V__AGENT) s__and__ms__destination(V__C,V__CUST) s__and__ms__located(V__AGENT,V__LOC1) s__and__ms__customer(V__CUST,V__AGENT) s__and__m(s__exists__m[V__S,V__FOOD,V__E] : (s__instance(V__S,s__Cooking)s__and__ms__agent(V__S,V__AGENT) s__and__ms__result(V__S,V__FOOD) s__and__ms__patient(V__C,V__FOOD) s__and__ms__instance(V__E,s__Eating)s__and__ms__agent(V__E,V__CUST) s__and__ms__eventLocated(V__E,V__LOC2)))) s__=>(s__not__m(V__LOC1s__equal__mV__LOC2)))) )	Dining.kif 544-560	If a process is an instance of catering and a cognitive agent is an agent of the process and the process ends up at the processUST and the cognitive agent is located at an object and the cognitive agent is a customer of the processUST and there exist another process, an entity and a third process such that the other process is an instance of cooking and the cognitive agent is an agent of the other process and the entity is a result of the other process and the entity is a patient of the process and the third process is an instance of eating and the processUST is an agent of the third process and the third process is located at 2, then the object is not equal to another entity
( ! [V__DRYSPELL,V__AREA] : ((s__instance(V__DRYSPELL,s__Drought)s__and__ms__eventLocated(V__DRYSPELL,V__AREA)) s__=>(s__not__m(s__exists__m[V__RAIN,V__PLACE] : (s__instance(V__RAIN,s__Raining)s__and__ms__instance(V__PLACE,s__Region)s__and__ms__eventLocated(V__RAIN,V__PLACE) s__and__ms__overlapsSpatially(V__PLACE,V__AREA) s__and__ms__overlapsTemporally(V__RAIN,V__DRYSPELL))))) )	Weather.kif 908-919	If a time interval is an instance of drought and the time interval is located at 2, then there don't exist another time interval and an object such that the other time interval is an instance of raining and the object is an instance of region and the other time interval is located at 2 and the object overlaps with an entity and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	If an object is an instance of EngineCylinder and a hole is an instance of Crankcase and a physical is an instance of piston and a process is an instance of two stroke transfer and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the physical has purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	If an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and a physical is an instance of piston and a process is an instance of two stroke intake and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the physical has purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1343	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of EngineCylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at 2 and the other process is located at 2 and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and the measure of the object is the objectM and the measure of the fourth object is the fourth objectM and the measure of the other object is the other objectM and the measure of the fifth object is the fifth objectM, then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1890-1906	If a process is an instance of EngineCycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at 2 and the maximum volume of the cylinders in the engine the object is a quantity holds during the time of existence of the process, then there don't exist another quantity and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other quantity holds during the time interval and the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1863-1879	If a process is an instance of EngineCycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at 2 and the minimum volume of the cylinders in the engine the object is a quantity holds during the time of existence of the process, then there don't exist another quantity and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other quantity holds during the time interval and the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1932-1951	If a process is an instance of EngineCycle and an engine is an instance of internal combustion engine and an object is an instance of piston and the object is a part of the engine and the object is a patient of the process and the process is located at 2 and the maximum distance that the pistons of engine the engine travel is a length measure, then there don't exist a time interval, another time interval,, , a physical,, , another physical and another length measure such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other length measure and the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15141-15153	If a process is an instance of flooding and the process is located at 2, then there exist a quantity and another quantity such that the quantity is a water depth of an entity holds during the beginning of the time of existence of the process and the other quantity is a water depth of the entity holds during the end of the time of existence of the process and the other quantity is greater than the quantity
( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeCombustion)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__CO] : (s__instance(V__CO,s__Combustion)s__and__ms__subProcess(V__CO,V__F)))) )	Cars.kif 207-217	If a process is an instance of four stroke combustion and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exists the objectO such that the objectO is an instance of combustion and the objectO is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeExhaust)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__E,V__M] : (s__instance(V__M,s__GasMotion)s__and__ms__instance(V__E,s__Exhaust)s__and__ms__subProcess(V__M,V__F) s__and__ms__origin(V__M,V__I) s__and__ms__patient(V__M,V__E)))) )	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeIntake)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__FV,V__M] : (s__instance(V__M,s__GasMotion)s__and__ms__instance(V__FV,s__FuelVapor)s__and__ms__subProcess(V__M,V__F) s__and__ms__destination(V__M,V__I) s__and__ms__patient(V__M,V__FV)))) )	Cars.kif 171-184	If a process is an instance of four stroke intake and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist the processV and another process such that the other process is an instance of gas motion and the processV is an instance of fuel vapor and the other process is a subprocess of the process and the other process ends up at the hole and the processV is a patient of the other process
( ! [V__E,V__LOC,V__F,V__P,V__I] : ((s__instance(V__E,s__Agent)s__and__ms__instance(V__LOC,s__Object)) s__=>((s__instance(V__F,s__MilitaryForce)s__and__ms__instance(V__P,s__Human)s__and__ms__instance(V__I,s__Imprisoning)s__and__ms__member(V__P,V__F) s__and__ms__agent(V__I,V__E) s__and__ms__patient(V__I,V__P) s__and__ms__enemy(V__E,V__P) s__and__ms__eventLocated(V__I,V__LOC) s__and__ms__attribute(V__LOC,s__WarState)) s__=>s__attribute(V__P,s__PrisonerOfWar))) )	MilitaryPersons.kif 285-296	If a collection is an instance of military force and an agent is an instance of human and a process is an instance of imprisoning and the agent is a member of the collection and another agent is an agent of the process and the agent is a patient of the process and the other agent and the agent are enemies of each other and the process is located at 2 and war state is an attribute of an object, then prisoner of war is an attribute of the agent

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	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at 2 and student is an attribute of the human holds during the time of existence of the process
( ! [V__M,V__S] : ((s__attribute(V__M,s__StudioRecording)s__and__ms__instance(V__M,s__Recording)) s__=>(s__exists__m[V__P] : (s__instance(V__P,s__Process)s__and__m(s__record(V__M,V__P) s__and__ms__eventLocated(V__P,V__S) s__and__ms__instance(V__S,s__RecordingStudio))))) )	Music.kif 395-403	If studio recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exists a process such that the content bearing object is a record of the process and the process is located at 2 and an entity is an instance of recording studio
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
( ! [V__X] : ((s__attribute(V__X,s__Historical)s__and__ms__instance(V__X,s__City)) s__=>(s__exists__m[V__EV] : (s__instance(V__EV,s__Physical)s__and__ms__attribute(V__EV,s__Historical)s__and__ms__eventLocated(V__EV,V__X)))) )	Mid-level-ontology.kif 24700-24708	If historical is an attribute of an object and the object is an instance of city, then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24147-24159	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at 2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 797-804	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical has purpose sitting is an attribute of the agent and the agent is located at 2 for the agent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	If an object is an instance of Crankshaft and another object is an instance of IntermittentCombustionEngine and the other object is a part of the object, then the object has purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at 2 and the entity causes the other entity
( ! [V__CRAFT,V__EVENT] : ((s__instance(V__CRAFT,s__WaterVehicle)s__and__ms__instance(V__EVENT,s__Transportation)s__and__ms__instrument(V__EVENT,V__CRAFT)) s__=>(s__exists__m[V__WATER] : (s__instance(V__WATER,s__WaterArea)s__and__ms__eventLocated(V__EVENT,V__WATER)))) )	Mid-level-ontology.kif 4034-4042	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists an entity such that the entity is an instance of water area and the process is located at 2
( ! [V__DRYSPELL,V__AREA] : ((s__instance(V__DRYSPELL,s__Drought)s__and__ms__eventLocated(V__DRYSPELL,V__AREA)) s__=>(s__not__m(s__exists__m[V__RAIN,V__PLACE] : (s__instance(V__RAIN,s__Raining)s__and__ms__instance(V__PLACE,s__Region)s__and__ms__eventLocated(V__RAIN,V__PLACE) s__and__ms__overlapsSpatially(V__PLACE,V__AREA) s__and__ms__overlapsTemporally(V__RAIN,V__DRYSPELL))))) )	Weather.kif 908-919	If a time interval is an instance of drought and the time interval is located at 2, then there don't exist another time interval and an object such that the other time interval is an instance of raining and the object is an instance of region and the other time interval is located at 2 and the object overlaps with an entity and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1712-1728	If a corpuscular object is an instance of exhaust and fuel is made of the corpuscular object and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has purpose there exists an entity such that the entity is an instance of combustion and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at 2
( ! [V__O,V__A,V__EV] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__O) s__and__ms__agent(V__EV,V__A)) s__=>(s__exists__m[V__M,V__MA] : (s__instance(V__MA,s__Organization)s__and__m(s__instance(V__M,s__Maintaining)s__and__ms__eventLocated(V__M,V__O) s__and__ms__subProcess(V__M,V__EV) s__and__m(s__subOrganization(V__MA,V__A) s__or__ms__member(V__MA,V__A) s__or__m(V__MAs__equal__mV__A)) s__and__ms__agent(V__M,V__MA)))))) )	MilitaryProcesses.kif 2540-2554	If a process is an instance of evacuation and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at 2 and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
( ! [V__GRP,V__MP,V__OD] : ((s__instance(V__GRP,s__MarchingBand)s__and__ms__instance(V__MP,s__MusicalPerformance)s__and__ms__agent(V__MP,V__GRP)) s__=>(s__instance(V__OD,s__Outdoors)s__and__ms__eventLocated(V__MP,V__OD) s__and__m(s__exists__m[V__AMB] : (s__instance(V__AMB,s__Ambulating)s__and__ms__subProcess(V__AMB,V__MP))))) )	Music.kif 983-994	If an agent is an instance of marching band and a process is an instance of musical performance and the agent is an agent of the process, then an entity is an instance of outdoors and the process is located at 2 and there exists another process such that the other process is an instance of ambulating and the other process is a subprocess of the process
( ! [V__ORG,V__P] : ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__MiscellaneousStoreRetailers)) s__=>(s__exists__m[V__EV,V__MEM] : (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG) s__and__ms__agent(V__MEM,V__EV) s__and__m(s__exists__m[V__THING,V__ST] : (s__instance(V__EV,s__Selling)s__and__ms__instance(V__P,s__Human)s__and__ms__instance(V__ST,s__RetailStore)s__and__ms__eventLocated(V__EV,V__ST) s__and__ms__instance(V__THING,s__Object)s__and__ms__patient(V__EV,V__THING))))))) )	naics.kif 7759-7774	If a collection is an instance of organization and miscellaneous store retailers is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity and another entity such that the agent is an instance of selling and a third entity is an instance of human and the other entity is an instance of retail store and the agent is located at 2 and the entity is an instance of object and the entity is a patient of the agent
( ! [V__ORG] : ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__NonstoreRetailers)) s__=>(s__exists__m[V__EV,V__MEM] : (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG) s__and__ms__agent(V__MEM,V__EV) s__and__m(s__exists__m[V__THING,V__P] : (s__instance(V__EV,s__Selling)s__and__ms__instance(V__P,s__Human)s__and__ms__instance(V__THING,s__Object)s__and__m(s__not__ms__eventLocated(V__EV,s__RetailStore)) s__and__ms__destination(V__EV,V__P) s__and__ms__patient(V__EV,V__THING))))))) )	naics.kif 7886-7902	If a collection is an instance of organization and nonstore retailers is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity and another entity such that the agent is an instance of selling and the other entity is an instance of human and the entity is an instance of object and not the agent is located at 2 and the agent ends up at the other entity and the entity is a patient of the agent
( ! [V__SUB,V__PROC,V__LOC] : (s__instance(V__SUB,s__Process)s__=>((s__instance(V__PROC,s__Process)s__and__ms__eventLocated(V__PROC,V__LOC) s__and__ms__subProcess(V__SUB,V__PROC)) s__=>s__eventLocated(V__SUB,V__LOC))) )	Mid-level-ontology.kif 21417-21422	If a process is an instance of process and the process is located at 2 and another process is a subprocess of the process, then the other process is located at 2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1178-1197	If a cognitive agent is an instance of restaurant and an object is an instance of dining room and PrivateAttribute is an attribute of the object and the cognitive agent possesses the object and the cognitive agent is a customer of another cognitive agent and a process is an instance of eating and the other cognitive agent is an agent of the process and the other cognitive agent is an instance of group of people, then the statement there doesn't exist an entity such that the cognitive agent is a customer of the entity and the other cognitive agent is not equal to the entity and another entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at 2 holds during the time of existence of the process has the modal force of likely
( ! [V__SHOCK,V__PLACE] : ((s__instance(V__SHOCK,s__Aftershock)s__and__ms__eventLocated(V__SHOCK,V__PLACE)) s__=>(s__exists__m[V__TREMOR] : (s__instance(V__TREMOR,s__EarthTremor)s__and__ms__eventLocated(V__TREMOR,V__PLACE) s__and__ms__before(s__WhenFn(V__TREMOR) ,s__WhenFn(V__SHOCK))))) )	Geography.kif 2261-2269	If a process is an instance of aftershock and the process is located at 2, then there exists another process such that the other process is an instance of earth tremor and the other process is located at 2 and the time of existence of the other process happens before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 11381-11393	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at 2 for permission
( ! [V__TSC,V__E] : ((s__instance(V__TSC,s__TwoStrokeCompression)s__and__ms__eventLocated(V__TSC,V__E) s__and__ms__instance(V__E,s__TwoStrokeEngine)) s__=>(s__exists__m[V__C] : (s__instance(V__C,s__Explosion)s__and__ms__during(V__C,V__TSC) s__and__ms__eventLocated(V__C,V__E)))) )	Cars.kif 491-500	If a time interval is an instance of two stroke compression and the time interval is located at 2 and an entity is an instance of two stroke engine, then there exists another time interval such that the other time interval is an instance of explosion and the other time interval takes place during the time interval and the other time interval is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28190-28219	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a set or class, another set or class,, , another process,, , a time point,, , a case role,, , a third set or class and an entity such that the set or class is an instance of set and the agent is an instance of the set or class and the other set or class is a subclass of process and the third set or class is a subclass of region and the time point is an instance of time point and the entity is an instance of quantity and the process includes a reference to the entity and the entity includes a reference to the other set or class and the agent plays role in event the case role for the other process and the other process is located at 2 and there don't exist another entity and a third entity such that the other entity is an instance of the set or class and the other entity is not equal to the agent and the third entity is an instance of the other set or class and the other entity plays role in event the case role for the third entity and the third entity is located at 2 holds during interval between the time point and the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24563-24581	If an object is an instance of fire alarm and device on is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process has purpose there exists an entity such that the entity is an instance of group of people and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of fire and the other entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25169-25195	If an object is an instance of surveillance system and the object is a member of a collection and the object is a member of another collection and the collection is located at another object and the collection is an instance of camera and the other collection is located at a third object and the other object is not equal to the third object and the other collection is an instance of video display, then the object has purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at 2 and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4499-4509	If a process prevents the occurrence of another kind of process and the time of existence of the process is equal to a time interval and the process is located at 2, then there exists an entity such that the entity is an instance of another kind of process and the entity is located at 2 doesn't hold during the time interval
( ! [V__AREA] : (s__instance(V__AREA,s__Object)s__=>(s__attribute(V__AREA,s__FertileTerrain)s__=>s__capability(s__Agriculture,s__eventLocated__m,V__AREA))) )	Geography.kif 1772-1774	If fertile terrain is an attribute of an object, then the object is capable of doing agriculture as a event located
( ! [V__H] : (s__instance(V__H,s__Object)s__=>(s__attribute(V__H,s__Emphysema)s__=>(s__exists__m[V__L,V__P] : (s__instance(V__L,s__Lung)s__and__ms__part(V__L,V__H) s__and__ms__instance(V__P,s__PathologicProcess)s__and__ms__eventLocated(V__P,V__L))))) )	Mid-level-ontology.kif 6026-6033	If emphysema is an attribute of an object, then there exist another object and a process such that the other object is an instance of lung and the other object is a part of the object and the process is an instance of pathologic process and the process is located at 2

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

KB Term:			Term intersection

English Word: