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 3959-3960
(domain eventPartlyLocated 1 Process) Merge.kif 3956-3956
(domain eventPartlyLocated 2 Object) Merge.kif 3957-3957
(instance eventPartlyLocated CaseRole) Merge.kif 3949-3949
(instance eventPartlyLocated PartialValuedRelation) Merge.kif 3950-3950
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 3977-3977

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


(format ChineseLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") domainEnglishFormat.kif 3335-3335
(format ChineseTraditionalLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") domainEnglishFormat.kif 3334-3334
(format EnglishLanguage eventPartlyLocated "%1 is partly located at %2") domainEnglishFormat.kif 3333-3333
(subrelation eventLocated eventPartlyLocated) Merge.kif 3979-3979
(subrelation path eventPartlyLocated) Merge.kif 10379-10379
(termFormat EnglishLanguage eventPartlyLocated "event partly located") english_format.kif 1852-1852

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 3962-3967
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))
Merge.kif 3952-3954

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


(=>
    (and
        (instance ?X CarAlarm)
        (instance ?CAR SelfPoweredRoadVehicle)
        (part ?X ?CAR))
    (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 3727-3767
(=>
    (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 3973-3975
(=>
    (origin ?PROCESS ?LOC)
    (eventPartlyLocated ?PROCESS ?LOC))
Merge.kif 3969-3971
(=>
    (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 178-186


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