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 3871-3877 | |
(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 3866-3866 | 域 時間, 1 and Physical |
(domain time 2 TimePosition) | Merge.kif 3867-3867 | 域 時間, 2 and TimePosition |
(instance time AsymmetricRelation) | Merge.kif 3864-3864 | 例 時間 and AsymmetricRelation |
(instance time BinaryPredicate) | Merge.kif 3862-3862 | 例 時間 and BinaryPredicate |
(instance time TemporalRelation) | Merge.kif 3863-3863 | 例 時間 and TemporalRelation |
(instance time TotalValuedRelation) | Merge.kif 3865-3865 | 例 時間 and TotalValuedRelation |
(relatedInternalConcept time holdsDuring) | Merge.kif 3869-3869 | 相關的內部概念 時間 and 持有期間 |
(relatedInternalConcept time located) | Merge.kif 3868-3868 | 相關的內部概念 時間 and 位於 |
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 8546-8546 | 子關係 日期 and 時間 |
(termFormat ChineseLanguage time "时间") | chinese_format.kif 192-192 | |
(termFormat ChineseTraditionalLanguage time "時間") | domainEnglishFormat.kif 58117-58117 | |
(termFormat EnglishLanguage time "time") | domainEnglishFormat.kif 58116-58116 | |
(termFormat de time "zeit") | terms-de.txt 77-77 |
antecedent |
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option CallOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2754-2766 | |
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option PutOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2768-2780 | |
(=> (and (instance ?IMPRISON Imprisoning) (detainee ?IMPRISON ?AGENT) (instance ?AGENT Human) (time ?IMPRISON ?INTERVAL) (instance ?INTERVAL TimeInterval)) (exists (?ARREST ?TIME) (and (instance ?TIME TimeInterval) (time ?ARREST ?TIME) (earlier ?TIME ?INTERVAL) (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT)))) |
Mid-level-ontology.kif 23513-23526 |
|
(=> (and (instance ?Refinancing Refinancing) (time ?Refinancing ?Time) (instance ?Loan Loan) (securedBy ?Loan ?Collateral) (borrower ?Loan ?Borrower) (currentAccountBalance ?Loan ?Time ?Amount) (patient ?Refinancing ?Loan)) (exists (?NewLoan ?Payment) (and (instance ?NewLoan Loan) (borrower ?NewLoan ?Borrower) (securedBy ?Loan ?Collateral) (destination ?Payment (CurrencyFn ?Loan)) (time ?Payment ?Time) (origin ?Payment (CurrencyFn ?NewLoan)) (transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1449-1466 |
|
(=> (and (instance ?SEEING Seeing) (patient ?SEEING ?OBJ) (agent ?SEEING ?AGENT) (instance ?OBJ Object) (time ?SEEING ?TIME) (holdsDuring ?TIME (located ?OBJ ?PLACE))) (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)) |
Justice.kif 61-69 |
|
(=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 12804-12810 | |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (instance ?EVENT ?CLASS) (subclass ?CLASS Process) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE)) |
Mid-level-ontology.kif 23260-23267 | |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (instance ?EVENT ?TYPE) (subclass ?TYPE Process) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE)) |
Mid-level-ontology.kif 23289-23296 | |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 23312-23317 | |
(=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE (measure ?TIME ?U))) (instance ?U UnitOfDuration) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (exists (?DURATION) (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X (MeasureFn ?DURATION ?U)) (lessThanOrEqualTo ?DURATION ?TIME))) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE)))))) |
Catalog.kif 467-492 |
|
(=> (and (taxDeferredIncome ?Agent ?Income ?Activity) (time ?Activity ?Time)) (not (exists (?Tax) (and (instance ?Tax Tax) (causes ?Activity ?Tax) (time ?Tax ?Time))))) |
FinancialOntology.kif 3312-3321 |
|
(=> (and (time ?PHYS ?TIME) (instance ?TIME TimePoint)) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS)))) |
Merge.kif 8206-8210 | |
(=> (time ?THING ?POS) (temporalPart ?POS (WhenFn ?THING))) |
Merge.kif 7974-7977 |
|
consequent |