|
|
   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 8831-8831 | AfternoonFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7979-7979 | BeginFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8585-8585 | DayFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8007-8007 | EndFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8931-8931 | EveningFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8508-8508 | FutureFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8610-8610 | HourFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8525-8525 | ImmediateFutureFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8494-8494 | ImmediatePastFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8636-8636 | MinuteFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8568-8568 | MonthFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8815-8815 | MorningFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8476-8476 | PastFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8965-8965 | QuarterFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8441-8441 | RecurrentTimeIntervalFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17227-17227 | RelativeTimeFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8663-8663 | SecondFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9370-9370 | TemporalCompositionFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8409-8409 | TimeIntervalFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8947-8947 | WeekFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8465-8465 | WhenFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8552-8552 | YearFn e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24180-24180 | anniversary e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8096-8096 | before e' uma instancia de Relacao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8137-8137 | beforeOrEqual e' uma instancia de Relacao Temporal |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|