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 2606-2608
No TPTP formula. May not be expressible in strict first order. Merge.kif 2604-2604 Temporal relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2603-2603 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 8733-8733 AfternoonFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7883-7883 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8487-8487 Day is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7911-7911 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8833-8833 EveningFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8410-8410 Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8512-8512 Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8427-8427 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8396-8396 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8538-8538 Minute is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8470-8470 Month is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8717-8717 MorningFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8378-8378 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8867-8867 QuarterFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8343-8343 Recurrent time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16967-16967 Relative time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8565-8565 Second is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9268-9268 Temporal composition is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8311-8311 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8849-8849 WeekFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8367-8367 When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8454-8454 Year is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23592-23592 anniversary is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8000-8000 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8041-8041 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 3.0 is open source software produced by Articulate Software and its partners