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 2571-2573
No TPTP formula. May not be expressible in strict first order. Merge.kif 2569-2569 Temporal relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2568-2568 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 8315-8315 AfternoonFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7593-7593 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8074-8074 Day is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7621-7621 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8412-8412 EveningFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7996-7996 Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8099-8099 Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8013-8013 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7982-7982 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8125-8125 Minute is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8057-8057 Month is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8302-8302 MorningFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7964-7964 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8443-8443 QuarterFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7929-7929 Recurrent time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16072-16072 Relative time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8152-8152 Second is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8843-8843 Temporal composition is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7897-7897 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8425-8425 WeekFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7953-7953 When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8041-8041 Year is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20478-20478 anniversary is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7690-7690 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7731-7731 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