|
|
   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 | Relacao Temporal e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2663-2663 | Relacao Temporal e' uma sub-classe de Relacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8853-8853 | AfternoonFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8001-8001 | BeginFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8607-8607 | DayFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8029-8029 | EndFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8953-8953 | EveningFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8530-8530 | FutureFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8632-8632 | HourFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8547-8547 | ImmediateFutureFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8516-8516 | ImmediatePastFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8658-8658 | MinuteFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8590-8590 | MonthFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8837-8837 | MorningFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8498-8498 | PastFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8987-8987 | QuarterFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8463-8463 | RecurrentTimeIntervalFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17249-17249 | RelativeTimeFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8685-8685 | SecondFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9392-9392 | TemporalCompositionFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8431-8431 | TimeIntervalFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8969-8969 | WeekFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8487-8487 | WhenFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8574-8574 | YearFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24179-24179 | anniversary e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8118-8118 | before e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8159-8159 | beforeOrEqual e' uma instancia de Relacao Temporal |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|