TimePoint(time point) | ![]() | drinking_age, eleventh_hour, here_and_now, instant, last_minute, minute, moment, moment_of_truth, now, point, point_in_time, present_moment, run-time, second, show_time, voting_age |
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 2104-2109 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 402-405 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2102-2102 | 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 7967-7967 | Negative infinity is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7949-7949 | Positive infinity is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8068-8068 | The range of begin is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8096-8096 | The range of end is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2267-2267 | Epoch is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8893-8893 | Midnight is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8967-8967 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 881-881 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 964-964 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 557-557 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 87-87 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 90-90 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2242-2242 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 509-509 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 92-92 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 124-124 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 383-383 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 578-578 | Noon is a subclass of time point |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 91-91 | Noon is a subclass of time point |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1022-1022 | 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 8524-8524 | 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 8525-8525 | 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 15407-15407 | 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 4251-4251 | 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 15396-15396 | 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 15421-15421 | 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 259-259 | 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 8214-8214 | 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 8215-8215 | 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 8252-8252 | 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 8253-8253 | 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 686-686 | 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 32623-32623 | The number 2 argument of first instance created 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 1482-1482 | 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. | Music.kif 1497-1497 | The number 3 argument of release for sale is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 708-708 | The number 1 argument of reservation end is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 701-701 | The number 1 argument of reservation start is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8274-8274 | 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 8275-8275 | 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 8276-8276 | 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 8298-8298 | 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 8299-8299 | The number 2 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 8300-8300 | The number 3 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 |
![]() |
![]() |
![]() |