time |
appearance as argument number 1 |
(documentation time ChineseLanguage "这个关系用于一个 Physical 实例 和一个 TimePosition 实例之间,以防前者所存在的的时间包含了后者的。 换句话说,(time ?THING ?TIME) 的意思是 ?THING 在 ?TIME 出现或发生。注: time 在于 Physical 实例,就相等于 holdsDuring 用在 Formula 的实例上,常数 located 和 time 分别是是基本的空间和时间谓词。") | chinese_format.kif 2079-2082 | |
(documentation time EnglishLanguage "This relation holds between an instance of Physical and an instance of TimePosition 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 time what holdsDuring does for instances of Formula. The constants located and time are the basic spatial and temporal predicates, respectively.") | Merge.kif 3872-3878 | |
(documentation time JapaneseLanguage "この関係は、前者の一時的な寿命が後者を含む場合に備えて、 Physical のインスタンスと TimePosition のインスタンスの間に保持されます。言い換えれば、 (time ?THING ?TIME) とは、?THING が ?TIME に存在していたか、または ?TIME で起こったことを意味 する。 注:holdsDuring が Formula のインスタンスに対して行うことを time もインスタンスに 対して行う。 定数 located と time は、それぞれ基本的な空間および時間の述語である。") | japanese_format.kif 726-730 | |
(domain time 1 Physical) | Merge.kif 3867-3867 | The number 1 argument of time is an instance of physical |
(domain time 2 TimePosition) | Merge.kif 3868-3868 | The number 2 argument of time is an instance of time position |
(instance time AsymmetricRelation) | Merge.kif 3865-3865 | time is an instance of asymmetric relation |
(instance time BinaryPredicate) | Merge.kif 3863-3863 | time is an instance of binary predicate |
(instance time TemporalRelation) | Merge.kif 3864-3864 | time is an instance of temporal relation |
(instance time TotalValuedRelation) | Merge.kif 3866-3866 | time is an instance of total valued relation |
(relatedInternalConcept time holdsDuring) | Merge.kif 3870-3870 | time is internally related to holds during |
(relatedInternalConcept time located) | Merge.kif 3869-3869 | time is internally related to located |
appearance as argument number 2 |
(format ChineseLanguage time "%1 在 %2 是 %n{doesn't} 存在") | chinese_format.kif 191-191 | |
(format EnglishLanguage time "%1 %n{doesn't} exist%p{s} during %2") | english_format.kif 192-192 | |
(format FrenchLanguage time "%1 %n{n'} existe %n{pas} pendant %2") | french_format.kif 115-115 | |
(format ItalianLanguage time "%1 %n{non} esiste%p{s} durante %2") | relations-it.txt 299-299 | |
(format JapaneseLanguage time "%1 は %2 の during exist%p{s} %n{ない}") | japanese_format.kif 1944-1944 | |
(format PortugueseLanguage time "%1 %n{nao} existe %n durante %2") | portuguese_format.kif 67-67 | |
(format cz time "%1 %n{doesn't} exist%p{s} during %2") | relations-cz.txt 116-116 | |
(format de time "%1 besteht waehrend %2 %n{nicht}") | relations-de.txt 244-244 | |
(format hi time "%2 ke samaya men %1 kaa astitva %n{nahiin} hai") | relations-hindi.txt 335-335 | |
(format ro time "%1 %n{nu} existã during%t{pe perioada} %2") | relations-ro.kif 134-134 | |
(format sv time "%1 existerar%p{s} %n{inte} under %2") | relations-sv.txt 120-120 | |
(format tg time "tunay %1 may habang %2") | relations-tg.txt 491-491 | |
(subrelation date time) | Merge.kif 8582-8582 | date is a subrelation of time |
(termFormat ChineseLanguage time "时间") | chinese_format.kif 192-192 | |
(termFormat ChineseTraditionalLanguage time "時間") | domainEnglishFormat.kif 58119-58119 | |
(termFormat EnglishLanguage time "time") | domainEnglishFormat.kif 58118-58118 | |
(termFormat de time "zeit") | terms-de.txt 77-77 |
antecedent |
consequent |