| 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 4091-4092 | |
| (documentation eventPartlyLocated JapaneseLanguage "(eventPartlyLocated ?PROC ?OBJ)とは、 Process ?PROC のいくつかの subProcess が Object ?OBJ に位置していることを意味する。") | japanese_format.kif 765-766 | |
| (domain eventPartlyLocated 1 Process) | Merge.kif 4088-4088 | |
| (domain eventPartlyLocated 2 Object) | Merge.kif 4089-4089 | |
| (instance eventPartlyLocated CaseRole) | Merge.kif 4081-4081 | |
| (instance eventPartlyLocated PartialValuedRelation) | Merge.kif 4082-4082 | |
| (subrelation eventPartlyLocated involvedInEvent) | Merge.kif 4109-4109 |
| 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 4111-4111 | |
| (subrelation path eventPartlyLocated) | Merge.kif 11110-11110 | |
| (termFormat EnglishLanguage eventPartlyLocated "event partly located") | english_format.kif 1843-1843 |
| antecedent |
|
|
| (=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum))) |
Cars.kif 477-483 | |
| (=> (eventPartlyLocated ?PROC ?OBJ) (exists (?SUB) (and (subProcess ?SUB ?PROC) (eventLocated ?SUB ?OBJ)))) |
Merge.kif 4094-4099 | |
| (=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB)) |
Merge.kif 4084-4086 |
| 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 3771-3812 | |
| (=> (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 | |
| (=> (destination ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4105-4107 | |
| (=> (origin ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4101-4103 | |
| (=> (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 |
|
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