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 | Temporal relation is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2663-2663 | 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 8867-8867 | Afternoon of is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8015-8015 | Begin is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8621-8621 | Day is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8043-8043 | End is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8967-8967 | Evening fn is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8544-8544 | Future is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8646-8646 | Hour is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8561-8561 | Immediate future is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8530-8530 | Immediate past is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8672-8672 | Minute is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8604-8604 | Month is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8851-8851 | Morning fn is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8512-8512 | Past is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9001-9001 | Quarter fn is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8477-8477 | Recurrent time interval is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17298-17298 | Relative time is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8699-8699 | Second is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9406-9406 | Temporal composition is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8445-8445 | Time interval is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8983-8983 | Week fn is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8501-8501 | When is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8588-8588 | Year is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24237-24237 | anniversary is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8132-8132 | before is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8173-8173 | 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 |