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。") Merge.kif 4226-4227
(documentation eventPartlyLocated EnglishLanguage "(eventPartlyLocated ?PROC ?OBJ) means that some subProcess of Process ?PROC is located in Object ?OBJ.") Merge.kif 4224-4225
(domain eventPartlyLocated 1 Process) Merge.kif 4222-4222 The number 1 argument of event partly located is an instance of process
(domain eventPartlyLocated 2 Object) Merge.kif 4223-4223 The number 2 argument of event partly located is an instance of object
(instance eventPartlyLocated CaseRole) Merge.kif 4215-4215 event partly located is an instance of case role
(instance eventPartlyLocated PartialValuedRelation) Merge.kif 4216-4216 event partly located is an instance of partial valued relation
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4245-4245 event partly located is a subrelation of involved in event

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


(format EnglishLanguage eventPartlyLocated "%1 is partly located at %2") domainEnglishFormat.kif 842-842
(subrelation eventLocated eventPartlyLocated) Merge.kif 4247-4247 event located is a subrelation of event partly located
(subrelation path eventPartlyLocated) Merge.kif 11035-11035 path is a subrelation of event partly located
(termFormat EnglishLanguage eventPartlyLocated "event partly located") Merge.kif 4228-4228 "event partly located" is the printable form of event partly located in english language

antecedent
-------------------------


(=>
    (and
        (instance ?TSI TwoStrokeIntake)
        (instance ?C Crankcase)
        (eventPartlyLocated ?TSC ?C))
    (holdsDuring ?TSI
        (attribute ?C PartialVacuum)))
Cars.kif 477-483
(=>
    (eventPartlyLocated ?PROC ?OBJ)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PROC)
            (eventLocated ?SUB ?OBJ))))
Merge.kif 4230-4235
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))
Merge.kif 4218-4220

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 3677-3717
(=>
    (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 106-114
(=>
    (destination ?PROCESS ?LOC)
    (eventPartlyLocated ?PROCESS ?LOC))
Merge.kif 4241-4243
(=>
    (origin ?PROCESS ?LOC)
    (eventPartlyLocated ?PROCESS ?LOC))
Merge.kif 4237-4239
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners