| 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 16667-16670 | |
| (domain direction 1 Process) | Merge.kif 16664-16664 | |
| (domain direction 2 PositionalAttribute) | Merge.kif 16665-16665 | |
| (instance direction CaseRole) | Merge.kif 16662-16662 | |
| (instance direction PartialValuedRelation) | Merge.kif 16663-16663 | |
| (subrelation direction involvedInEvent) | Merge.kif 16666-16666 |
| 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 | |
| (termFormat ChineseLanguage direction "方向") | chinese_format.kif 589-589 | |
| (termFormat ChineseTraditionalLanguage direction "方向") | domainEnglishFormat.kif 19676-19676 | |
| (termFormat EnglishLanguage direction "direction") | domainEnglishFormat.kif 19675-19675 |
| 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 1650-1671 | |
| (=> (holdsDuring ?TIME (direction ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (direction ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1)))) |
Merge.kif 16672-16677 |
| 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 17555-17589 | |
| (=> (holdsDuring ?TIME (direction ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (direction ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1)))) |
Merge.kif 16672-16677 | |
| (=> (instance ?CS CyclonicStorm) (exists (?R ?A) (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 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