Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  time

Sigma KEE - time
time

appearance as argument number 1
-------------------------


s__documentation(s__time__m,s__ChineseLanguage,'"这个关系用于一个 Physical 实例 和一个 TimePosition 实例之间,以防前者所存在的的时间包含了后者的。 换句话说,(time ?THING ?TIME) 的意思是 ?THING 在 ?TIME 出现或发生。注: time 在于 Physical 实例,就相等于 holdsDuring 用在 Formula 的实例上,常数 locatedtime 分别是是基本的空间和时间谓词。"')

chinese_format.kif 2079-2082
s__documentation(s__time__m,s__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 3777-3783
s__domain(s__time__m,n__1,s__Physical)

Merge.kif 3772-3772 The number 1 argument of time is an instance of physical
s__domain(s__time__m,n__2,s__TimePosition)

Merge.kif 3773-3773 The number 2 argument of time is an instance of time position
s__instance(s__time__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

Merge.kif 3770-3770 time is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__time__m,s__BinaryPredicate)

Merge.kif 3768-3768 time is an instance of binary predicate
s__instance(s__TemporalRelation,s__Class)

s__instance(s__time__m,s__TemporalRelation)

Merge.kif 3769-3769 time is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__time__m,s__TotalValuedRelation)

Merge.kif 3771-3771 time is an instance of total valued relation
s__relatedInternalConcept(s__time__m,s__holdsDuring__m)

Merge.kif 3775-3775 time is internally related to holds during
s__relatedInternalConcept(s__time__m,s__located__m)

Merge.kif 3774-3774 time is internally related to located

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__time__m,'"%1 在 %2 是 %n{doesnt} 存在"')

chinese_format.kif 191-191
s__format(s__EnglishLanguage,s__time__m,'"%1 %n{doesnt} exist%p{s} during %2"')

english_format.kif 192-192
s__subrelation(s__date__m,s__time__m)

Merge.kif 8197-8197 date is a subrelation of time
s__termFormat(s__ChineseLanguage,s__time__m,'"时间"')

chinese_format.kif 192-192
s__termFormat(s__ChineseTraditionalLanguage,s__time__m,'"時間"')

domainEnglishFormat.kif 58084-58084
s__termFormat(s__EnglishLanguage,s__time__m,'"time"')

domainEnglishFormat.kif 58083-58083

antecedent
-------------------------


( ! [V__TIME,V__PHYS] :
   ((s__instance(V__PHYS,s__Physical) =>
       ((((s__time(V__PHYS,V__TIME)
             &
             s__instance(V__TIME,s__TimePoint))
           =>
           s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS))
      ,V__TIME,s__EndFn(s__WhenFn(V__PHYS))))
&
(s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS))
,V__TIME,s__EndFn(s__WhenFn(V__PHYS)))
=>
(s__time(V__PHYS,V__TIME)
&
s__instance(V__TIME,s__TimePoint))))))
)
)

Merge.kif 7942-7946 A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__CallOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Buy] :
         ((s__instance(V__Buy,s__Buying) &
             s__patient(V__Buy,V__Stocks)
           &
           s__time(V__Buy,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2715-2727
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__PutOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Sell] :
         ((s__instance(V__Sell,s__Selling) &
             s__patient(V__Sell,V__Stocks)
           &
           s__time(V__Sell,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2729-2741
( ! [V__AGENT,V__IMPRISON,V__INTERVAL] :
   (((s__instance(V__IMPRISON,s__Imprisoning) &
         s__detainee(V__IMPRISON,V__AGENT)
       &
       s__instance(V__AGENT,s__Human) &
       s__time(V__IMPRISON,V__INTERVAL)
     &
     s__instance(V__INTERVAL,s__TimeInterval))
   =>
   (( ? [V__ARREST, V__TIME] :
       ((s__instance(V__TIME,s__TimeInterval) &
           s__time(V__ARREST,V__TIME)
         &
         s__earlier(V__TIME,V__INTERVAL)
       &
       s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT))))))
)
)

Mid-level-ontology.kif 22790-22803
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Time,s__Day) &
         s__instance(V__Collateral,s__Collateral) &
         s__instance(V__Borrower,s__CognitiveAgent))
       =>
       (((s__instance(V__Refinancing,s__Refinancing) &
             s__time(V__Refinancing,V__Time)
           &
           s__instance(V__Loan,s__Loan) &
           s__securedBy(V__Loan,V__Collateral)
         &
         s__borrower(V__Loan,V__Borrower)
       &
       s__currentAccountBalance(V__Loan,V__Time,V__Amount)
     &
     s__patient(V__Refinancing,V__Loan))
=>
(( ? [V__NewLoan, V__Payment] :
     ((s__instance(V__Payment,s__FinancialTransaction) &
         (s__instance(V__NewLoan,s__Loan) &
           s__borrower(V__NewLoan,V__Borrower)
         &
         s__securedBy(V__Loan,V__Collateral)
       &
       s__destination(V__Payment,s__CurrencyFn(V__Loan))
   &
   s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))))))
)
)

FinancialOntology.kif 1403-1420
No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69
( ! [V__TIME,V__PLACE,V__OBJ,V__ROLE,V__CLASS,V__EVENT] :
   (((s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__ROLE,s__CaseRole) &
         s__instance(V__CLASS,s__Class) &
         s__subclass(V__CLASS,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
           &
           s__instance(V__EVENT,V__CLASS)
         &
         s__subclass(V__CLASS,s__Process) &
         s__time(V__EVENT,V__TIME)
       &
       s__eventLocated(V__EVENT,V__PLACE))
   =>
   (s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__CLASS,V__TIME,V__PLACE)))))
)
)

Mid-level-ontology.kif 22537-22544
( ! [V__TIME,V__PLACE,V__OBJ,V__TYPE,V__ROLE,V__EVENT] :
   (((s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__ROLE,s__CaseRole) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
           &
           s__instance(V__EVENT,V__TYPE)
         &
         s__subclass(V__TYPE,s__Process) &
         s__time(V__EVENT,V__TIME)
       &
       s__eventLocated(V__EVENT,V__PLACE))
   =>
   (s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__TYPE,V__TIME,V__PLACE)))))
)
)

Mid-level-ontology.kif 22566-22573
( ! [V__TIME,V__PLACE,V__OBJ,V__ROLE,V__EVENT] :
   (((s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__ROLE,s__CaseRole) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
           &
           s__time(V__EVENT,V__TIME)
         &
         s__eventLocated(V__EVENT,V__PLACE))
     =>
     (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)))))
)
)

Mid-level-ontology.kif 22589-22594
No TPTP formula. May not be expressible in strict first order. Catalog.kif 461-486
( ! [V__Agent,V__Activity,V__Time,V__Income] :
   (((s__instance(V__Agent,s__Human) &
         s__instance(V__Activity,s__OrganizationalProcess) &
         s__instance(V__Time,s__TimePosition) &
         s__instance(V__Income,s__CurrencyMeasure))
       =>
       (((s__taxDeferredIncome(V__Agent,V__Income,V__Activity)
           &
           s__time(V__Activity,V__Time))
       =>
       (~(( ? [V__Tax] :
             ((s__instance(V__Tax,s__Tax) &
                 s__causes(V__Activity,V__Tax)
               &
               s__time(V__Tax,V__Time)))))))))
)
)

FinancialOntology.kif 3273-3282

consequent
-------------------------


( ! [V__PROCESS] :
   (((s__instance(V__PROCESS,s__Creation) =>
         ( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__Physical) &
               (s__patient(V__PROCESS,V__PATIENT)
               &
               s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))
         &
         ~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))))))))
&
(( ? [V__PATIENT] :
((s__instance(V__PATIENT,s__Physical) &
(s__patient(V__PROCESS,V__PATIENT)
&
s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))
&
~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))))))))
=>
s__instance(V__PROCESS,s__Creation)))
)
)

Merge.kif 12206-12213 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
( ! [V__PROCESS] :
   (((s__instance(V__PROCESS,s__Destruction) =>
         ( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__Physical) &
               (s__patient(V__PROCESS,V__PATIENT)
               &
               s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))
         &
         ~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))))))))
&
(( ? [V__PATIENT] :
((s__instance(V__PATIENT,s__Physical) &
(s__patient(V__PROCESS,V__PATIENT)
&
s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))
&
~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))))))))
=>
s__instance(V__PROCESS,s__Destruction)))
)
)

Merge.kif 11712-11719 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
( ! [V__POS,V__THING] :
   (((s__instance(V__POS,s__TimePosition) &
         s__instance(V__THING,s__Physical))
       =>
       (((s__temporalPart(V__POS,s__WhenFn(V__THING))
         =>
         s__time(V__THING,V__POS))
     &
     (s__time(V__THING,V__POS)
     =>
     s__temporalPart(V__POS,s__WhenFn(V__THING))))))
)
)

Merge.kif 7749-7751 A time position is a part of the time of existence of a physical if and only if the physical exists during the time position
( ! [V__AGR,V__DATE] :
   (((s__instance(V__AGR,s__Proposition) &
         s__subclass(V__DATE,s__TimePosition) &
         s__instance(V__DATE,s__Class))
       =>
       ((s__agreementAdoptionDate(V__AGR,V__DATE)
         =>
         (( ? [V__PROCESS, V__DAY] :
             ((s__instance(V__DAY,s__TimePosition) &
                 (s__instance(V__PROCESS,s__Committing) &
                   s__instance(V__DAY,V__DATE)
                 &
                 s__patient(V__PROCESS,V__AGR)
               &
               s__time(V__PROCESS,V__DAY)))))))))
)
)

Government.kif 693-700
No TPTP formula. May not be expressible in strict first order. Merge.kif 7740-7747
( ! [V__OPEN,V__WINDOW,V__CLOSE] :
   (((s__instance(V__OPEN,s__Physical) &
         s__instance(V__WINDOW,s__Physical))
       =>
       (((s__instance(V__CLOSE,s__ClosingGraphicalWindow) &
             s__patient(V__CLOSE,V__WINDOW))
         =>
         ((s__instance(V__WINDOW,s__InterfaceWindow) &
             s__time(V__WINDOW,s__BeginFn(s__WhenFn(V__OPEN)))
       &
       ~(s__time(V__WINDOW,s__EndFn(s__WhenFn(V__OPEN)))))))))
)
)

ComputerInput.kif 2467-2474
( ! [V__Processing,V__Check] :
   (((s__instance(V__Check,s__Check) &
         s__instance(V__Processing,s__ProcessingACheck) &
         s__patient(V__Processing,V__Check))
     =>
     (( ? [V__Depositing] :
         ((s__instance(V__Depositing,s__DepositingACheck) &
             s__patient(V__Depositing,V__Check)
           &
           s__time(V__Depositing,s__ImmediatePastFn(s__WhenFn(V__Processing))))))))
)
)

FinancialOntology.kif 137-146
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__CallOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Buy] :
         ((s__instance(V__Buy,s__Buying) &
             s__patient(V__Buy,V__Stocks)
           &
           s__time(V__Buy,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2715-2727
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__PutOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Sell] :
         ((s__instance(V__Sell,s__Selling) &
             s__patient(V__Sell,V__Stocks)
           &
           s__time(V__Sell,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2729-2741
( ! [V__AGENT,V__IMPRISON,V__INTERVAL] :
   (((s__instance(V__IMPRISON,s__Imprisoning) &
         s__detainee(V__IMPRISON,V__AGENT)
       &
       s__instance(V__AGENT,s__Human) &
       s__time(V__IMPRISON,V__INTERVAL)
     &
     s__instance(V__INTERVAL,s__TimeInterval))
   =>
   (( ? [V__ARREST, V__TIME] :
       ((s__instance(V__TIME,s__TimeInterval) &
           s__time(V__ARREST,V__TIME)
         &
         s__earlier(V__TIME,V__INTERVAL)
       &
       s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT))))))
)
)

Mid-level-ontology.kif 22790-22803
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1382-1397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21570-21583
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Time,s__Day) &
         s__instance(V__Collateral,s__Collateral) &
         s__instance(V__Borrower,s__CognitiveAgent))
       =>
       (((s__instance(V__Refinancing,s__Refinancing) &
             s__time(V__Refinancing,V__Time)
           &
           s__instance(V__Loan,s__Loan) &
           s__securedBy(V__Loan,V__Collateral)
         &
         s__borrower(V__Loan,V__Borrower)
       &
       s__currentAccountBalance(V__Loan,V__Time,V__Amount)
     &
     s__patient(V__Refinancing,V__Loan))
=>
(( ? [V__NewLoan, V__Payment] :
     ((s__instance(V__Payment,s__FinancialTransaction) &
         (s__instance(V__NewLoan,s__Loan) &
           s__borrower(V__NewLoan,V__Borrower)
         &
         s__securedBy(V__Loan,V__Collateral)
       &
       s__destination(V__Payment,s__CurrencyFn(V__Loan))
   &
   s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))))))
)
)

FinancialOntology.kif 1403-1420
( ! [V__Unit,V__Time2,V__Time1,V__ID,V__Component,V__Instance,V__Number] :
   (((s__instance(V__Unit,s__UnitOfMeasure) &
         s__instance(V__Time2,s__TimePosition) &
         s__instance(V__Time1,s__TimePosition) &
         s__instance(V__ID,s__SymbolicString) &
         s__subclass(V__Component,s__ComputerComponent) &
         s__instance(V__Instance,s__ComputerComponent) &
         s__instance(V__Number,s__RealNumber))
       =>
       (((s__monitorComponentData(V__Time1,V__ID,V__Number)
           &
           s__componentDataID(V__Time2,V__Component,V__Instance,V__Unit,V__ID))
       =>
       (( ? [V__Event] :
           ((s__instance(V__Event,s__MeasuringPerformance) &
               s__unitMeasuringPerformance(V__Instance,V__Unit)
             &
             s__time(V__Event,V__Time1)
           &
           s__performanceResult(V__Event,V__Instance,V__Number))))))))
)
)

QoSontology.kif 953-962
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2585-2601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2649-2665
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2603-2621
( ! [V__Agent,V__Activity,V__Time,V__Income] :
   (((s__instance(V__Agent,s__Human) &
         s__instance(V__Activity,s__OrganizationalProcess) &
         s__instance(V__Time,s__TimePosition) &
         s__instance(V__Income,s__CurrencyMeasure))
       =>
       (((s__taxDeferredIncome(V__Agent,V__Income,V__Activity)
           &
           s__time(V__Activity,V__Time))
       =>
       (~(( ? [V__Tax] :
             ((s__instance(V__Tax,s__Tax) &
                 s__causes(V__Activity,V__Tax)
               &
               s__time(V__Tax,V__Time)))))))))
)
)

FinancialOntology.kif 3273-3282
( ! [V__DAY,V__PERSON] :
   (((s__instance(V__DAY,s__Day) &
         s__instance(V__PERSON,s__Human))
       =>
       ((s__baptismdate(V__PERSON,V__DAY)
         =>
         (( ? [V__BAPTISM] :
             ((s__instance(V__BAPTISM,s__Baptizing) &
                 s__experiencer(V__BAPTISM,V__PERSON)
               &
               s__time(V__BAPTISM,V__DAY))))))))
)
)

Biography.kif 68-74
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       (( ? [V__TIME1, V__TIME2] :
           ((s__instance(V__TIME1,s__TimePoint) &
               s__instance(V__TIME2,s__TimePoint) &
               s__before(V__TIME1,V__TIME2)
             &
             ( ! [V__TIME] :
               ((s__instance(V__TIME,s__TimePoint) =>
                   (((s__beforeOrEqual(V__TIME1,V__TIME)
                       &
                       s__beforeOrEqual(V__TIME,V__TIME2))
                   =>
                   (s__time(V__OBJ,V__TIME))))))))))))
)
)

Merge.kif 7864-7876
( ! [V__OPEN] :
   ((s__instance(V__OPEN,s__OpeningNewGraphicalWindow) =>
       (( ? [V__WINDOW] :
           ((s__patient(V__OPEN,V__WINDOW)
             &
             s__instance(V__WINDOW,s__InterfaceWindow) &
             s__time(V__WINDOW,s__EndFn(s__WhenFn(V__OPEN)))
       &
       ~(s__time(V__WINDOW,s__BeginFn(s__WhenFn(V__OPEN)))))))))
)
)

ComputerInput.kif 2402-2409
( ! [V__PHYS] :
   ((s__instance(V__PHYS,s__Physical) =>
       (( ? [V__LOC, V__TIME] :
           ((s__instance(V__LOC,s__Object) &
               s__instance(V__TIME,s__TimePosition) &
               (s__located(V__PHYS,V__LOC)
               &
               s__time(V__PHYS,V__TIME)))))))
)
)

Merge.kif 805-810
( ! [V__Spread] :
   ((s__instance(V__Spread,s__SpreadOption) =>
       (( ? [V__Option1, V__Option2, V__Buy, V__Sell, V__Time] :
           ((s__instance(V__Time,s__TimePosition) &
               (s__instance(V__Option1,s__Option) &
                 s__instance(V__Option2,s__Option) &
                 s__instance(V__Buy,s__Buying) &
                 s__instance(V__Sell,s__Selling) &
                 s__subProcess(V__Buy,V__Spread)
               &
               s__subProcess(V__Sell,V__Spread)
             &
             s__patient(V__Buy,V__Option1)
           &
           s__patient(V__Sell,V__Option2)
         &
         s__time(V__Buy,V__Time)
       &
       s__time(V__Sell,V__Time)))))))
)
)

FinancialOntology.kif 3058-3071
( ! [V__Time,V__Application] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Application,s__ComputerProgram))
       =>
       ((s__monitorApplicationData(V__Time,V__Application)
         =>
         (( ? [V__Process] :
             ((s__instance(V__Process,s__ComputerProcess) &
                 (s__programRunning(V__Process,V__Application)
                 &
                 s__time(V__Process,V__Time)))))))))
)
)

QoSontology.kif 977-982

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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