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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemporalRelation
TemporalRelation(temporal relation)approach, approaching, chronological_sequence, chronological_succession, chronology, coming, here, hither, lead, rotation, row, run, sequence, spark_advance, succession, successiveness, temporal_arrangement, temporal_order, temporal_property, temporal_relation, temporally, 时间关系, 時間関係

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 2567-2569
No TPTP formula. May not be expressible in strict first order. Merge.kif 2565-2565 Temporal relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2564-2564 Temporal relation is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8161-8161 AfternoonFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7441-7441 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7921-7921 Day is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7469-7469 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8258-8258 EveningFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7843-7843 Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7946-7946 Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7860-7860 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7829-7829 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7972-7972 Minute is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7904-7904 Month is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8148-8148 MorningFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7811-7811 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8289-8289 QuarterFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7776-7776 Recurrent time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15900-15900 Relative time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7999-7999 Second is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8688-8688 Temporal composition is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7744-7744 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8271-8271 WeekFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7800-7800 When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7888-7888 Year is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21941-21941 anniversary is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7538-7538 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7579-7579 before or equal is an instance of temporal relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners