| time |
| appearance as argument number 1 |
|
|
| (documentation time EnglishLanguage "This relation holds between an instance of physical and an instance of time position just in case the temporal lifespan of the former includes the latter. In other words, (time ?THING ?TIME) means that ?THING existed or occurred at ?TIME. Note that time does for instances of physical what holds during does for instances of formula. The constants located and time are the basic spatial and temporal predicates, respectively.") | Merge.kif 3076-3082 | |
| (domain time 1 Physical) | Merge.kif 3072-3072 | The number 1 argument of time is an instance of physical |
| (domain time 2 TimePosition) | Merge.kif 3073-3073 | The number 2 argument of time is an instance of time position |
| (externalImage time "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ chronometer_watch.png") | pictureList.kif 2401-2401 | externalImage time and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ chronometer_watch.png" |
| (externalImage time "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ wall_clock_tan.png") | pictureList.kif 2030-2030 | externalImage time and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ wall_clock_tan.png" |
| (instance time AsymmetricRelation) | Merge.kif 3071-3071 | time is an instance of asymmetric relation |
| (instance time BinaryPredicate) | Merge.kif 3069-3069 | time is an instance of binary predicate |
| (instance time TemporalRelation) | Merge.kif 3070-3070 | time is an instance of temporal relation |
| (relatedInternalConcept time holdsDuring) | Merge.kif 3075-3075 | time is internally related to holds during |
| (relatedInternalConcept time located) | Merge.kif 3074-3074 | time is internally related to located |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage time "%1 %n{doesn't} exist%p{s} during %2") | english_format.kif 113-113 | |
| (subrelation date time) | Merge.kif 6940-6940 | date is a subrelation of time |
| (termFormat EnglishLanguage time "time") | domainEnglishFormat.kif 9466-9466 | term format english language, time and "time" |
| antecedent |
|
|
| consequent |
|
|
|
|