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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3743-3749
s__domain(s__time__m,n__1,s__Physical)

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

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

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__time__m,s__BinaryPredicate)

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

s__instance(s__TemporalRelation,s__SetOrClass)

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

s__instance(s__time__m,s__TotalValuedRelation)

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

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

Merge.kif 3740-3740 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 195-195
s__subrelation(s__date__m,s__time__m)

Merge.kif 8156-8156 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 7901-7905 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 2694-2706
( ! [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 2708-2720
( ! [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 21985-21998
( ! [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 21732-21739
( ! [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 21761-21768
( ! [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 21784-21789
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
( ! [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 3252-3261

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 12161-12168 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 11668-11675 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 7708-7710 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 7699-7706
( ! [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 2453-2460
( ! [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 2694-2706
( ! [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 2708-2720
( ! [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 21985-21998
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 20765-20778
( ! [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 2610-2626
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2628-2644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600
( ! [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 3252-3261
( ! [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 7823-7835
( ! [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 2388-2395
( ! [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 3037-3050
( ! [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 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