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 4095-4096
(documentation eventPartlyLocated JapaneseLanguage "(eventPartlyLocated ?PROC ?OBJ)とは、 Process ?PROC のいくつかの subProcess が Object ?OBJ に位置していることを意味する。") japanese_format.kif 765-766
(domain eventPartlyLocated 1 Process) Merge.kif 4092-4092 The number 1 argument of event partly located is an instance of process
(domain eventPartlyLocated 2 Object) Merge.kif 4093-4093 The number 2 argument of event partly located is an instance of object
(instance eventPartlyLocated CaseRole) Merge.kif 4085-4085 event partly located is an instance of case role
(instance eventPartlyLocated PartialValuedRelation) Merge.kif 4086-4086 event partly located is an instance of partial valued relation
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4113-4113 event partly located is a subrelation of involved in event

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


(format ChineseLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") domainEnglishFormat.kif 3328-3328
(format ChineseTraditionalLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") domainEnglishFormat.kif 3327-3327
(format EnglishLanguage eventPartlyLocated "%1 is partly located at %2") domainEnglishFormat.kif 3326-3326
(subrelation eventLocated eventPartlyLocated) Merge.kif 4115-4115 event located is a subrelation of event partly located
(subrelation path eventPartlyLocated) Merge.kif 11137-11137 path is a subrelation of event partly located
(termFormat EnglishLanguage eventPartlyLocated "event partly located") english_format.kif 1843-1843 path is a subrelation of event partly located

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 4098-4103
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))		 Merge.kif 4088-4090

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 4109-4111
(=>
    (origin ?PROCESS ?LOC)
    (eventPartlyLocated ?PROCESS ?LOC))		 Merge.kif 4105-4107
(=>
    (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