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 4099-4100
(documentation eventPartlyLocated JapaneseLanguage "(eventPartlyLocated ?PROC ?OBJ)とは、 Process ?PROC のいくつかの subProcessObject ?OBJ に位置していることを意味する。") japanese_format.kif 765-766
(domain eventPartlyLocated 1 Process) Merge.kif 4096-4096 Le nombre 1 argument de eventPartlyLocated est une instance de processus
(domain eventPartlyLocated 2 Object) Merge.kif 4097-4097 Le nombre 2 argument de eventPartlyLocated est une instance de objet
(instance eventPartlyLocated CaseRole) Merge.kif 4089-4089 eventPartlyLocated est une instance de r�le d�pendant du cas
(instance eventPartlyLocated PartialValuedRelation) Merge.kif 4090-4090 eventPartlyLocated est une instance de relation partielle
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4117-4117 eventPartlyLocated est une sous-relation de involvedInEvent

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


(format ChineseLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") domainEnglishFormat.kif 3330-3330
(format ChineseTraditionalLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") domainEnglishFormat.kif 3329-3329
(format EnglishLanguage eventPartlyLocated "%1 is partly located at %2") domainEnglishFormat.kif 3328-3328
(subrelation eventLocated eventPartlyLocated) Merge.kif 4119-4119 eventLocated est une sous-relation de eventPartlyLocated
(subrelation path eventPartlyLocated) Merge.kif 11074-11074 path est une sous-relation de eventPartlyLocated
(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 4102-4107
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))
Merge.kif 4092-4094

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 3710-3751
(=>
    (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 4113-4115
(=>
    (origin ?PROCESS ?LOC)
    (eventPartlyLocated ?PROCESS ?LOC))
Merge.kif 4109-4111
(=>
    (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