Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  eventPartlyLocated

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 3967-3968
(domain eventPartlyLocated 1 Process) Merge.kif 3964-3964 The number 1 argument of event partly located is an instance of process
(domain eventPartlyLocated 2 Object) Merge.kif 3965-3965 The number 2 argument of event partly located is an instance of object
(instance eventPartlyLocated CaseRole) Merge.kif 3957-3957 event partly located is an instance of case role
(instance eventPartlyLocated PartialValuedRelation) Merge.kif 3958-3958 event partly located is an instance of partial valued relation
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 3985-3985 event partly located is a subrelation of involved in event

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 3987-3987 event located is a subrelation of event partly located
(subrelation path eventPartlyLocated) Merge.kif 10665-10665 path is a subrelation of event partly located
(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 3970-3975
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))
Merge.kif 3960-3962

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 3714-3754
(=>
    (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 3981-3983
(=>
    (origin ?PROCESS ?LOC)
    (eventPartlyLocated ?PROCESS ?LOC))
Merge.kif 3977-3979
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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