eventPartlyLocated - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - eventPartlyLocated

eventPartlyLocated

appearance as argument number 1

(documentation eventPartlyLocated ChineseLanguage "(eventPartlyLocated ?PROC ?OBJ) 的意思是 Process ?PROC 的某些 subProcess 是位于 Object ?OBJ。")	chinese_format.kif 2113-2114
(documentation eventPartlyLocated EnglishLanguage "(eventPartlyLocated ?PROC ?OBJ) means that some subProcess of Process ?PROC is located in Object ?OBJ.")	Merge.kif 4100-4101
(documentation eventPartlyLocated JapaneseLanguage "(eventPartlyLocated ?PROC ?OBJ)とは、 Process ?PROC のいくつかの subProcess が Object ?OBJ に位置していることを意味する。")	japanese_format.kif 765-766
(domain eventPartlyLocated 1 Process)	Merge.kif 4097-4097	The number 1 argument of event partly located is an instance of process
(domain eventPartlyLocated 2 Object)	Merge.kif 4098-4098	The number 2 argument of event partly located is an instance of object
(instance eventPartlyLocated CaseRole)	Merge.kif 4090-4090	event partly located is an instance of case role
(instance eventPartlyLocated PartialValuedRelation)	Merge.kif 4091-4091	event partly located is an instance of partial valued relation
(subrelation eventPartlyLocated involvedInEvent)	Merge.kif 4118-4118	event partly located is a subrelation of involved in event

appearance as argument number 2

(format ChineseLanguage eventPartlyLocated "%1 是 partly located 在 %2 ")	domainEnglishFormat.kif 3324-3324
(format ChineseTraditionalLanguage eventPartlyLocated "%1 是 partly located 在 %2 ")	domainEnglishFormat.kif 3323-3323
(format EnglishLanguage eventPartlyLocated "%1 is partly located at %2")	domainEnglishFormat.kif 3322-3322
(subrelation eventLocated eventPartlyLocated)	Merge.kif 4120-4120	event located is a subrelation of event partly located
(subrelation path eventPartlyLocated)	Merge.kif 11108-11108	path is a subrelation of event partly located
(termFormat EnglishLanguage eventPartlyLocated "event partly located")	english_format.kif 1843-1843	path is a subrelation of event partly located

antecedent

(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum)))	Cars.kif 477-483	If a process is an instance of two stroke intake and an object is an instance of crankcase and the process is partly located at the object, then partial vacuum is an attribute of the object holds during the process
(=> (eventPartlyLocated ?PROC ?OBJ) (exists (?SUB) (and (subProcess ?SUB ?PROC) (eventLocated ?SUB ?OBJ))))	Merge.kif 4103-4108	If a process is partly located at an object, then there exists another process such that the other process is a subprocess of the process and the other process is located at the object
(=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB))	Merge.kif 4093-4095	If a process is partly located at an object, then the process is partly located in the object

consequent

(=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM)))))))))))	Cars.kif 3695-3736	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
(=> (and (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION) (instance ?PLACE WindFlow)) (exists (?BLOW) (and (instance ?BLOW Wind) (eventPartlyLocated ?BLOW ?PLACE) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))))	Weather.kif 115-123	If a region is surface wind velocity a length measure per a time duration for a directional attribute and the region is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is partly located at the region and the measure of the process is the length measure per the time duration in the region in the direction the directional attribute
(=> (destination ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC))	Merge.kif 4114-4116	If a process ends up at an object, then the process is partly located at the object
(=> (origin ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC))	Merge.kif 4110-4112	If a process originates at an object, then the process is partly located at the object
(=> (surfaceWindDirection ?PLACE ?DIR) (exists (?WIND ?FROM) (and (instance ?WIND Wind) (instance ?FROM Region) (eventPartlyLocated ?WIND ?PLACE) (origin ?WIND ?FROM) (orientation ?FROM ?PLACE ?DIR))))	Weather.kif 166-174	If a directional attribute is a surface wind direction of an object, then there exist a process and another object such that the process is an instance of wind and the other object is an instance of region and the process is partly located at the object and the process originates at the other object and the other object is the directional attribute to the object

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 3.0 is open source software produced by Articulate Software and its partners