![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1787-1789 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2033-2038 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2031-2031 | Time point is a subclass of time position |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7786-7786 | Negative infinity is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7768-7768 | Positive infinity is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7887-7887 | The range of begin is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7915-7915 | The range of end is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2140-2140 | Epoch is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8682-8682 | Midnight is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8756-8756 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 881-881 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 964-964 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1041-1041 | The number 2 argument of contest function is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1219-1219 | The number 4 argument of sellers other items is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8313-8313 | The number 1 argument of time interval is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8314-8314 | The number 2 argument of time interval is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13502-13502 | The number 1 argument of time period function is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4133-4133 | The number 2 argument of where is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13491-13491 | The number 2 argument of agreement effective date is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13516-13516 | The number 2 argument of expiration date is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Music.kif 257-257 | The number 2 argument of album release is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8005-8005 | The number 1 argument of before is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8006-8006 | The number 2 argument of before is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8043-8043 | The number 1 argument of before or equal is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8044-8044 | The number 2 argument of before or equal is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 661-661 | The number 2 argument of check-out time is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 951-951 | The number 2 argument of date used is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30067-30067 | The number 2 argument of firstInstanceCreated is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Music.kif 94-94 | The number 2 argument of produced on is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1473-1473 | The number 3 argument of release for consumption is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 662-662 | The number 1 argument of reservationEnd is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 655-655 | The number 1 argument of reservationStart is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8065-8065 | The number 1 argument of temporally between is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8066-8066 | The number 2 argument of temporally between is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8067-8067 | The number 3 argument of temporally between is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8089-8089 | The number 1 argument of temporally between or equal is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8090-8090 | The number 2 argument of temporally between or equal is an instance of time point |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |