| TemporalRelation(Relacao Temporal) | |
| 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 8867-8867 | AfternoonFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8015-8015 | BeginFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8621-8621 | DayFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8043-8043 | EndFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8967-8967 | EveningFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8544-8544 | FutureFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8646-8646 | HourFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8561-8561 | ImmediateFutureFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8530-8530 | ImmediatePastFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8672-8672 | MinuteFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8604-8604 | MonthFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8851-8851 | MorningFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8512-8512 | PastFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9001-9001 | QuarterFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8477-8477 | RecurrentTimeIntervalFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17298-17298 | RelativeTimeFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8699-8699 | SecondFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9406-9406 | TemporalCompositionFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8445-8445 | TimeIntervalFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8983-8983 | WeekFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8501-8501 | WhenFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8588-8588 | YearFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24237-24237 | anniversary e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8132-8132 | before e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8173-8173 | beforeOrEqual e' uma instancia de Relacao Temporal |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|