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 2653-2655
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 2651-2651 Temporal relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2650-2650 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 8815-8815 Afternoon of is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7965-7965 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8569-8569 Day is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7993-7993 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8915-8915 Evening fn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8492-8492 Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8594-8594 Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8509-8509 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8478 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8620-8620 Minute is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8552-8552 Month is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8799-8799 Morning fn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8460-8460 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8949-8949 Quarter fn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8425-8425 Recurrent time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17112-17112 Relative time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8647-8647 Second is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9354-9354 Temporal composition is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8393-8393 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8931-8931 Week fn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8449-8449 When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8536-8536 Year is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24256-24256 anniversary is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8082-8082 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8123-8123 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