TreeView Knowledge Base Browser - direction

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 移动。")	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 15803-15806
(domain direction 1 Process)	Merge.kif 15800-15800	domain direction, 1 and Process
(domain direction 2 PositionalAttribute)	Merge.kif 15801-15801	domain direction, 2 and PositionalAttribute
(instance direction CaseRole)	Merge.kif 15798-15798	instance direction and CaseRole
(instance direction PartialValuedRelation)	Merge.kif 15799-15799	instance direction and PartialValuedRelation
(subrelation direction involvedInEvent)	Merge.kif 15802-15802	subrelation direction and involvedInEvent

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 595-595
(termFormat ChineseLanguage direction "方向")	chinese_format.kif 589-589
(termFormat ChineseTraditionalLanguage direction "方向")	domainEnglishFormat.kif 19683-19683
(termFormat EnglishLanguage direction "direction")	domainEnglishFormat.kif 19682-19682

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 1391-1412	instance Process and Tornado instance Process and Rotating instance Object and Air instance ProcessRAN and Translocation subProcess Process and Process subProcess ProcessRAN and Process patient ProcessRAN and Object direction ProcessRAN and Horizontal Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject instance Object and GeographicArea eventLocated Process and Object part SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment top ProcessOP and SelfConnectedObject bottom SelfConnectedObject and SelfConnectedObject instance SelfConnectedObject and Cloud bottom SelfConnectedObject and SelfConnectedObject meetsSpatially ProcessOP and SelfConnectedObject meetsSpatially SelfConnectedObject and Object
(=> (holdsDuring ?TIME (direction ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (direction ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1))))	Merge.kif 15808-15813	holdsDuring TimePosition and direction entity and entity entity holdsDuring TimePosition and direction entity and entity equal entity and entity

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 15871-15905	instance Object and Saw instance Process and Cutting instrument Process and Object instance Object and Object patient Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object instance Process and Motion subProcess Process and Process instance Object and CuttingDevice part Object and Object meetsSpatially Object and Object patient Process and Object instance TimePosition and TimeInterval instance TimePosition and TimeInterval equal WhenFn Process and TimeInterval temporalPart TimeInterval and TimePosition temporalPart TimeInterval and TimePosition instance Entity and DirectionalAttribute instance Entity and DirectionalAttribute holdsDuring TimePosition and direction Process and Entity holdsDuring TimePosition and direction Process and Entity equal Entity and Entity oppositeDirection Entity and Entity ~{ equal Entity and Entity } ~{ oppositeDirection Entity and Entity }
(=> (holdsDuring ?TIME (direction ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (direction ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1))))	Merge.kif 15808-15813	holdsDuring TimePosition and direction entity and entity entity holdsDuring TimePosition and direction entity and entity equal entity and entity
(=> (instance ?T Tornado) (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 1379-1389	instance Process and Tornado Process Entity instance Process and Rotating instance Entity and Air instance ProcessRAN and Translocation subProcess Process and Process subProcess ProcessRAN and Process patient ProcessRAN and Entity direction ProcessRAN and Horizontal

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