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

Formal Language: 



KB Term:  Term intersection
English Word: 

  direction

 Sigma KEE - direction
direction

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


(documentation direction ChineseLanguage "(direction ?PROC ?ATTR)的意思是 Process ?PROC 正向 ?ATTR 的方向移动。例如：我们会用这个 Predicate 来代表马斯正在向 North 移动。") chinese_format.kif 3789-3790
(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 16835-16838
(domain direction 1 Process) Merge.kif 16832-16832
(domain direction 2 PositionalAttribute) Merge.kif 16833-16833
(instance direction CaseRole) Merge.kif 16830-16830
(instance direction PartialValuedRelation) Merge.kif 16831-16831
(subrelation direction involvedInEvent) Merge.kif 16834-16834

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 592-592
(format FrenchLanguage direction "les entit�es dans le processus %1 %n bougent %2") french_format.kif 352-352
(format ItalianLanguage direction "entità nel processo %1 si stanno muovendo verso %2") relations-it.txt 74-74
(format JapaneseLanguage direction "プロセス %1 のエンテテｲは %2 を moving して %n") japanese_format.kif 2099-2099
(format PortugueseLanguage direction "as entidades no processo %1 %n se movem %2") portuguese_format.kif 304-304
(format cb direction "ang mga butang sa ang paglakaw %1 ay nag-usab sa %2") relations-cb.txt 108-108
(format de direction "Wesen bei %1 bewegen %2") relations-de.txt 769-769
(format hi direction "%1 prakriyaa ke tatva %2 ko chalaa rahe hain") relations-hindi.txt 115-115
(format ro direction "entitãþile din procesul %1 %n{nu} moving%t{se deplaseazã} cãtre %2") relations-ro.kif 374-374
(format sv direction "entiteter i processen %1 flyttas %2") relations-sv.txt 390-390
(format tg direction "ang mga bagay sa ang paglakad %1 ay nagbabago sa %2") relations-tg.txt 164-164
(termFormat ChineseLanguage direction "方向") chinese_format.kif 589-589
(termFormat ChineseTraditionalLanguage direction "方向") domainEnglishFormat.kif 19685-19685
(termFormat EnglishLanguage direction "direction") domainEnglishFormat.kif 19684-19684
(termFormat tg direction "banda") relations-tg.txt 165-165

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


(=>
    (and
        (instance ?T Tornado)
        (instance ?R Rotating)
        (instance ?A Air)
        (instance ?TRAN Translocation)
        (subProcess ?R ?T)
        (subProcess ?TRAN ?R)
        (patient ?TRAN ?A)
        (direction ?TRAN Horizontal))
    (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
        (and
            (instance ?G GeographicArea)
            (eventLocated ?T ?G)
            (part ?FUNNEL ?A)
            (attribute ?FUNNEL ConeSegment)
            (top ?TOP ?FUNNEL)
            (bottom ?BOTTOM ?FUNNEL)
            (instance ?C Cloud)
            (bottom ?BASE ?C)
            (meetsSpatially ?TOP ?BASE)
            (meetsSpatially ?BOTTOM ?G))))		 Weather.kif 1651-1672
(=>
    (holdsDuring ?TIME
        (direction ?PROC ?ATTR1))
    (forall (?ATTR2)
        (=>
            (holdsDuring ?TIME
                (direction ?PROC ?ATTR2))
            (equal ?ATTR2 ?ATTR1))))		 Merge.kif 16840-16845

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 18062-18096
(=>
    (holdsDuring ?TIME
        (direction ?PROC ?ATTR1))
    (forall (?ATTR2)
        (=>
            (holdsDuring ?TIME
                (direction ?PROC ?ATTR2))
            (equal ?ATTR2 ?ATTR1))))		 Merge.kif 16840-16845
(=>
    (instance ?CS CyclonicStorm)
    (exists (?R ?A ?TRAN ?T)
        (and
            (instance ?R Rotating)
            (instance ?A Air)
            (instance ?TRAN Translocation)
            (subProcess ?R ?T)
            (subProcess ?TRAN ?R)
            (patient ?TRAN ?A)
            (direction ?TRAN Horizontal))))		 Weather.kif 560-570


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