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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - direction
direction

appearance as argument number 1
-------------------------


(documentation direction ChineseLanguage "(direction ?PROC ?ATTR)的意思是 Process ?PROC 正向 ?ATTR 的方向移动。例如:我们会用这个 Predicate 来代表马斯正在向 North 移动。") Merge.kif 17256-17257
(documentation direction EnglishLanguage "(direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North.") Merge.kif 17252-17255
(domain direction 1 Process) Merge.kif 17249-17249 The number 1 argument of direction is an instance of process
(domain direction 2 PositionalAttribute) Merge.kif 17250-17250 The number 2 argument of direction is an instance of positional attribute
(instance direction CaseRole) Merge.kif 17247-17247 direction is an instance of case role
(instance direction PartialValuedRelation) Merge.kif 17248-17248 direction is an instance of partial valued relation
(subrelation direction involvedInEvent) Merge.kif 17251-17251 direction is a subrelation of involved in event

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


(format ChineseLanguage direction "%1 过程的实体 %n 向 %2") chinese_format.kif 588-588
(format EnglishLanguage direction "entities in the process %1 are %n moving %2") english_format.kif 363-363
(termFormat ChineseLanguage direction "方向") chinese_format.kif 589-589 "方向" is the printable form of direction in ChineseLanguage
(termFormat EnglishLanguage direction "direction") domainEnglishFormat.kif 3702-3702 "direction" is the printable form of direction in english language

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


(=>
    (holdsDuring ?TIME
        (direction ?PROC ?ATTR1))
    (forall (?ATTR2)
        (=>
            (holdsDuring ?TIME
                (direction ?PROC ?ATTR2))
            (equal ?ATTR2 ?ATTR1))))
Merge.kif 17259-17264

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


(=>
    (and
        (instance ?SAW Saw)
        (instance ?CUT Cutting)
        (instrument ?CUT ?SAW)
        (instance ?OBJ Object)
        (patient ?CUT ?OBJ))
    (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
        (and
            (instance ?MOTION Motion)
            (subProcess ?MOTION ?CUT)
            (instance ?PART CuttingDevice)
            (part ?PART ?SAW)
            (meetsSpatially ?PART ?OBJ)
            (patient ?MOTION ?PART)
            (instance ?T2 TimeInterval)
            (instance ?T2 TimeInterval)
            (equal
                (WhenFn ?MOTION) ?TIME)
            (temporalPart ?TIME ?T1)
            (temporalPart ?TIME ?T2)
            (instance ?DIR1 DirectionalAttribute)
            (instance ?DIR2 DirectionalAttribute)
            (=>
                (holdsDuring ?T1
                    (direction ?MOTION ?DIR1))
                (holdsDuring ?T2
                    (and
                        (direction ?MOTION ?DIR2)
                        (or
                            (equal ?DIR1 ?DIR2)
                            (oppositeDirection ?DIR1 ?DIR2))
                        (not
                            (and
                                (equal ?DIR1 ?DIR2)
                                (oppositeDirection ?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 15843-15877
(=>
    (holdsDuring ?TIME
        (direction ?PROC ?ATTR1))
    (forall (?ATTR2)
        (=>
            (holdsDuring ?TIME
                (direction ?PROC ?ATTR2))
            (equal ?ATTR2 ?ATTR1))))
Merge.kif 17259-17264


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners