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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemporalRelation

 Sigma KEE - TemporalRelation
TemporalRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1918-1919
No TPTP formula. May not be expressible in strict first order. Merge.kif 2666-2668
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 545-546
No TPTP formula. May not be expressible in strict first order. Merge.kif 2664-2664 子類 TemporalRelation and 可繼承的關係
No TPTP formula. May not be expressible in strict first order. Merge.kif 2663-2663 子類 TemporalRelation and Relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8831-8831 例 AfternoonFn and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7979-7979 例 開始 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8585-8585 例 天 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8007-8007 例 結束 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8931-8931 例 EveningFn and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8508-8508 例 未來 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8610-8610 例 小時 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8525-8525 例 眼前的未來 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8494-8494 例 不久的過去 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8636-8636 例 分 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8568-8568 例 月 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8815-8815 例 MorningFn and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8476-8476 例 過去 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8965-8965 例 QuarterFn and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8441-8441 例 經常性時間間隔 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17227-17227 例 相對時間 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8663-8663 例 第二 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9370-9370 例 時間構成 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8409-8409 例 時間間隔 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8947-8947 例 WeekFn and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8465-8465 例 何時 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8552-8552 例 年 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24180-24180 例 週年 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8096-8096 例 之前 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8137-8137 例 之前或相等 and TemporalRelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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