| 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 3869-3875 | |
| (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 3864-3864 | time の数値 1 引数は 物理 の instance では |
| (domain time 2 TimePosition) | Merge.kif 3865-3865 | time の数値 2 引数は 時間位置 の instance では |
| (instance time AsymmetricRelation) | Merge.kif 3862-3862 | time は 非対称関係 の instance では |
| (instance time BinaryPredicate) | Merge.kif 3860-3860 | time は 2進述語 の instance では |
| (instance time TemporalRelation) | Merge.kif 3861-3861 | time は 時間関係 の instance では |
| (instance time TotalValuedRelation) | Merge.kif 3863-3863 | time は 合計値関係 の instance では |
| (relatedInternalConcept time holdsDuring) | Merge.kif 3867-3867 | time は holdsDuring に internally 関連して |
| (relatedInternalConcept time located) | Merge.kif 3866-3866 | time は located に internally 関連して |
| 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 8644-8644 | date は time の subrelation では |
| (termFormat ChineseLanguage time "时间") | chinese_format.kif 192-192 | date は time の subrelation では |
| (termFormat ChineseTraditionalLanguage time "時間") | domainEnglishFormat.kif 58125-58125 | date は time の subrelation では |
| (termFormat EnglishLanguage time "time") | domainEnglishFormat.kif 58124-58124 | date は time の subrelation では |
| (termFormat de time "zeit") | terms-de.txt 77-77 | date は time の subrelation では |
| 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 2771-2783 |
|
| (=> (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 2785-2797 |
|
| (=> (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 25156-25169 |
|
| (=> (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 1465-1482 |
|
| (=> (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 12943-12949 | |
| (=> (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 24903-24910 | |
| (=> (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 24932-24939 | |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 24955-24960 |
|
| (=> (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 3329-3338 | |
| (=> (and (time ?PHYS ?TIME) (instance ?TIME TimePoint)) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS)))) |
Merge.kif 8304-8308 | |
| (=> (time ?THING ?POS) (temporalPart ?POS (WhenFn ?THING))) |
Merge.kif 8044-8047 |
| consequent |
|
|
| (=> (agreementAdoptionDate ?AGR ?DATE) (exists (?PROCESS ?DAY) (and (instance ?PROCESS Committing) (instance ?DAY ?DATE) (patient ?PROCESS ?AGR) (time ?PROCESS ?DAY)))) |
Government.kif 669-676 | |
| (=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL))) |
Merge.kif 8030-8037 | |
| (=> (and (instance ?CLOSE ClosingGraphicalWindow) (patient ?CLOSE ?WINDOW)) (and (instance ?WINDOW InterfaceWindow) (time ?WINDOW (BeginFn (WhenFn ?OPEN))) (not (time ?WINDOW (EndFn (WhenFn ?OPEN)))))) |
ComputerInput.kif 2438-2445 | |
| (=> (and (instance ?Check Check) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check)) (exists (?Depositing) (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (time ?Depositing (ImmediatePastFn (WhenFn ?Processing)))))) |
FinancialOntology.kif 139-148 | |
| (=> (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 2771-2783 |
|
| (=> (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 2785-2797 |
|
| (=> (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 25156-25169 |
|
| (=> (and (instance ?Loan CallableLoan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (totalBalance ?Loan ?Amount) (instance ?Call Call) (agent ?Call ?Lender) (patient ?Call ?Loan)) (holdsObligation (KappaFn ?Payment (and (destination ?Payment ?Lender) (time ?Payment (ImmediateFutureFn (WhenFn ?Call))) (transactionAmount ?Payment ?Amount))) ?Borrower)) |
FinancialOntology.kif 1444-1459 | |
| (=> (and (instance ?O OccupationalRole) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))) (exists (?X ?T ?P ?PT) (and (instance ?X CognitiveAgent) (holdsDuring ?T (attribute ?X ?O)) (instance ?P ?PCLASS) (agent ?X ?P) (time ?P ?PT) (temporalPart ?PT ?T)))) |
Mid-level-ontology.kif 23903-23916 |
|
| (=> (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 1465-1482 |
|
| (=> (and (monitorComponentData ?Time1 ?ID ?Number) (componentDataID ?Time2 ?Component ?Instance ?Unit ?ID)) (exists (?Event) (and (instance ?Event MeasuringPerformance) (unitMeasuringPerformance ?Instance ?Unit) (time ?Event ?Time1) (performanceResult ?Event ?Instance ?Number)))) |
QoSontology.kif 1064-1073 |
|
| (=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Agent)) |
FinancialOntology.kif 2686-2702 |
|
| (=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2640-2656 |
|
| (=> (and (property ?Option Option) (optionSeller ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2704-2720 |
|
| (=> (and (property ?Option Option) (optionSeller ?Option ?Seller) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Seller)) |
FinancialOntology.kif 2658-2676 |
|
| (=> (and (taxDeferredIncome ?Agent ?Income ?Activity) (time ?Activity ?Time)) (not (exists (?Tax) (and (instance ?Tax Tax) (causes ?Activity ?Tax) (time ?Tax ?Time))))) |
FinancialOntology.kif 3329-3338 | |
| (=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeOrEqual ?TIME1 ?TIME) (beforeOrEqual ?TIME ?TIME2)) (time ?OBJ ?TIME)))))) |
Merge.kif 8208-8220 | |
| (=> (instance ?OPEN OpeningNewGraphicalWindow) (exists (?WINDOW) (and (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow) (time ?WINDOW (EndFn (WhenFn ?OPEN))) (not (time ?WINDOW (BeginFn (WhenFn ?OPEN))))))) |
ComputerInput.kif 2373-2380 | |
| (=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME)))) |
Merge.kif 832-837 | |
| (=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 12934-12941 | |
| (=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (BeginFn (WhenFn ?PROCESS))) (not (time ?PATIENT (EndFn (WhenFn ?PROCESS))))))) |
Merge.kif 12417-12424 | |
| (=> (instance ?Spread SpreadOption) (exists (?Option1 ?Option2 ?Buy ?Sell ?Time) (and (instance ?Option1 Option) (instance ?Option2 Option) (instance ?Buy Buying) (instance ?Sell Selling) (subProcess ?Buy ?Spread) (subProcess ?Sell ?Spread) (patient ?Buy ?Option1) (patient ?Sell ?Option2) (time ?Buy ?Time) (time ?Sell ?Time)))) |
FinancialOntology.kif 3114-3127 |
|
| (=> (monitorApplicationData ?Time ?Application) (exists (?Process) (and (programRunning ?Process ?Application) (time ?Process ?Time)))) |
QoSontology.kif 1088-1093 | |
| (=> (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE) (exists (?EVENT) (and (instance ?EVENT ?TYPE) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)))) |
Mid-level-ontology.kif 24923-24930 | |
| (=> (result ?PROC ?OBJ) (forall (?TIME) (=> (before ?TIME (BeginFn (WhenFn ?PROC))) (not (time ?OBJ ?TIME))))) |
Merge.kif 8222-8228 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners