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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3789-3790
No TPTP formula. May not be expressible in strict first order. Merge.kif 16673-16676
No TPTP formula. May not be expressible in strict first order. Merge.kif 16670-16670 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16671-16671 The number 2 argument of direction is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16668-16668 direction is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 16669-16669 direction is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16672-16672 direction is a subrelation of involved in event

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 588-588
No TPTP formula. May not be expressible in strict first order. english_format.kif 592-592
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 589-589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19676-19676
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19675-19675

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671
No TPTP formula. May not be expressible in strict first order. Merge.kif 16678-16683

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17559-17593
No TPTP formula. May not be expressible in strict first order. Merge.kif 16678-16683
No TPTP formula. May not be expressible in strict first order. 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