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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - before
before

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


s__documentation(s__before__m,s__ChineseLanguage,'"(before ?POINT1 ?POINT2)的意思是 ?POINT1 在通用时 间轴上比 ?POINT2 先开始。"')

chinese_format.kif 2707-2708
s__documentation(s__before__m,s__EnglishLanguage,'"(before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline."')

Merge.kif 7817-7818
s__domain(s__before__m,n__1,s__TimePoint)

Merge.kif 7814-7814 The number 1 argument of before is an instance of time point
s__domain(s__before__m,n__2,s__TimePoint)

Merge.kif 7815-7815 The number 2 argument of before is an instance of time point
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__before__m,s__IrreflexiveRelation)

Merge.kif 7810-7810 before is an instance of irreflexive relation
s__instance(s__before__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__SetOrClass)

Merge.kif 7809-7809 before is an instance of temporal relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__before__m,s__TransitiveRelation)

Merge.kif 7811-7811 before is an instance of transitive relation
s__relatedInternalConcept(s__before__m,s__earlier__m)

Merge.kif 7813-7813 before is internally related to earlier
s__subrelation(s__before__m,s__beforeOrEqual__m)

Merge.kif 7812-7812 before is a subrelation of before or equal

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


s__format(s__ChineseLanguage,s__before__m,'"%1%n在%2before发生"')

chinese_format.kif 423-423
s__format(s__EnglishLanguage,s__before__m,'"%1 %n{doesnt} happen%p{s} before %2"')

english_format.kif 432-432
s__termFormat(s__ChineseLanguage,s__before__m,'"之前"')

chinese_format.kif 424-424
s__termFormat(s__ChineseTraditionalLanguage,s__before__m,'"之前"')

domainEnglishFormat.kif 10543-10543
s__termFormat(s__EnglishLanguage,s__before__m,'"before"')

domainEnglishFormat.kif 10542-10542

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
( ! [V__S1START,V__A,V__S1,V__S2START,V__S2] :
   (((s__instance(V__S1START,s__TimePoint) &
         s__instance(V__S2START,s__TimePoint))
       =>
       (((s__instance(V__A,s__Ambulating) &
             s__subProcess(V__S1,V__A)
           &
           s__instance(V__S1,s__Stepping) &
           s__subProcess(V__S2,V__A)
         &
         s__instance(V__S2,s__Stepping) &
         (V__S1START = s__BeginFn(s__WhenFn(V__S1)))
     &
     (V__S2START = s__BeginFn(s__WhenFn(V__S2)))
&
~((s__before(V__S1START,V__S2START)
   |
   s__before(V__S2START,V__S1START))))
=>
((V__S1 = V__S2)))))
)
)

Mid-level-ontology.kif 472-485
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] :
   (((s__instance(V__DateOfWithdrawal,s__Day) &
         s__instance(V__MaturityDate,s__Day))
       =>
       (((s__instance(V__CD,s__CertificateOfDeposit) &
             s__maturityDate(V__CD,V__MaturityDate)
           &
           s__instance(V__Withdrawal,s__Withdrawal) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__CD))
       &
       s__date(V__Withdrawal,V__DateOfWithdrawal)
     &
     s__before(s__EndFn(V__DateOfWithdrawal)
  ,s__BeginFn(V__MaturityDate)))
=>
(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__destination(V__Penalty,s__CurrencyFn(V__CD))
&
s__causes(V__Withdrawal,V__Penalty))))))))
)
)

FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] :
   (((s__instance(V__PROCESS,s__TimeInterval) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESS_CLASS,s__Class))
       =>
       (((s__instance(V__PROCESS,V__PROCESS_CLASS)
           &
           s__subclass(V__PROCESS_CLASS,s__Process) &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__instance(V__AGENT,s__Agent) &
           s__agent(V__PROCESS,V__AGENT)
         &
         s__agent(V__ACCESSING,V__AGENT)
       &
       s__during(V__PROCESS,V__ACCESSING)
     &
     s__instance(V__TIMETOFIRST,s__TimeInterval) &
     ~(( ? [V__PROCESS2] :
         ((s__instance(V__PROCESS2,s__TimeInterval) &
             s__instance(V__PROCESS2,s__Process) &
             (s__instance(V__PROCESS2,V__PROCESS_CLASS)
             &
             s__agent(V__PROCESS2,V__AGENT)
           &
           s__during(V__PROCESS2,V__ACCESSING)
         &
         s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
    ,s__BeginFn(s__WhenFn(V__PROCESS))))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
((s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST)))))
)
)

UXExperimentalTerms.kif 1703-1725
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__Amount,V__Date,V__Account,V__Payment,V__DueDate] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Payment,s__FinancialTransaction) &
         s__instance(V__DueDate,s__TimeInterval))
       =>
       (((s__transactionAmount(V__Payment,V__Amount)
           &
           s__date(V__Payment,V__Date)
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__destination(V__Payment,s__CurrencyFn(V__Account))
     &
     s__amountDue(V__Account,V__Amount,V__DueDate)
   &
   s__before(s__EndFn(V__Date)
,s__BeginFn(V__DueDate)))
=>
(s__instance(V__Payment,s__Prepayment)))))
)
)

FinancialOntology.kif 788-796

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


( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__earlier(V__INTERVAL1,V__INTERVAL2)
           =>
           s__before(s__EndFn(V__INTERVAL1)
        ,s__BeginFn(V__INTERVAL2)))
   &
   (s__before(s__EndFn(V__INTERVAL1)
  ,s__BeginFn(V__INTERVAL2))
=>
s__earlier(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 7995-7997 A time interval happens earlier than another time interval if and only if the end of the time interval happens before the beginning of the other time interval
( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__finishes(V__INTERVAL1,V__INTERVAL2)
           =>
           (s__before(s__BeginFn(V__INTERVAL2)
          ,s__BeginFn(V__INTERVAL1))
       &
       (s__EndFn(V__INTERVAL2)
       = s__EndFn(V__INTERVAL1))))
&
((s__before(s__BeginFn(V__INTERVAL2)
,s__BeginFn(V__INTERVAL1))
&
(s__EndFn(V__INTERVAL2)
= s__EndFn(V__INTERVAL1)))
=>
s__finishes(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 7799-7807 A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__starts(V__INTERVAL1,V__INTERVAL2)
           =>
           ((s__BeginFn(V__INTERVAL1)
             = s__BeginFn(V__INTERVAL2))
         &
         s__before(s__EndFn(V__INTERVAL1)
      ,s__EndFn(V__INTERVAL2))))
&
(((s__BeginFn(V__INTERVAL1)
   = s__BeginFn(V__INTERVAL2))
&
s__before(s__EndFn(V__INTERVAL1)
,s__EndFn(V__INTERVAL2)))
=>
s__starts(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 7777-7785 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
( ! [V__POINT3,V__POINT2,V__POINT1] :
   (((s__instance(V__POINT3,s__TimePoint) &
         s__instance(V__POINT2,s__TimePoint) &
         s__instance(V__POINT1,s__TimePoint))
       =>
       (((s__temporallyBetween(V__POINT1,V__POINT2,V__POINT3)
           =>
           (s__before(V__POINT1,V__POINT2)
           &
           s__before(V__POINT2,V__POINT3)))
     &
     ((s__before(V__POINT1,V__POINT2)
       &
       s__before(V__POINT2,V__POINT3))
   =>
   s__temporallyBetween(V__POINT1,V__POINT2,V__POINT3)))))
)
)

Merge.kif 7877-7881 A time point is between another time point and a third time point if and only if the other time point happens before the time point and the time point happens before the third time point
( ! [V__A,V__T] :
   (((s__instance(V__A,s__Album) &
         s__instance(V__T,s__TimePoint))
       =>
       ((s__albumRelease(V__A,V__T)
         =>
         ((( ? [V__R1, V__DS1] :
               ((s__instance(V__R1,s__GeographicArea) &
                   s__subclass(V__DS1,s__DataStorageDevice) &
                   s__releaseForSale(s__AlbumCopiesFn(V__A,V__DS1)
                ,V__R1,V__T))))
         &
         ~(( ? [V__B, V__R2, V__DS2] :
             ((s__instance(V__B,s__TimePoint) &
                 s__instance(V__R2,s__GeographicArea) &
                 s__subclass(V__DS2,s__DataStorageDevice) &
                 (s__before(V__B,V__T)
                 &
                 s__releaseForSale(s__AlbumCopiesFn(V__A,V__DS2)
              ,V__R2,V__B)))))))))))
)
)

Music.kif 258-267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5859-5872
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
( ! [V__A,V__MR,V__M,V__MM] :
   (((s__instance(V__A,s__CognitiveAgent) &
         s__instance(V__M,s__Music) &
         s__instance(V__MM,s__Physical))
       =>
       (((s__attribute(V__MR,s__CoverRecording) &
             s__instance(V__MR,s__MusicRecording) &
             s__songArtist(V__MR,V__A)
           &
           s__musicInterpretation(V__MR,V__M)
         &
         s__record(V__MR,V__MM))
     =>
     (( ? [V__ORIG, V__ARTIST, V__MUSIC] :
         ((s__instance(V__ORIG,s__MusicRecording) &
             s__instance(V__ARTIST,s__CognitiveAgent) &
             s__instance(V__MUSIC,s__Physical) &
             (s__musicInterpretation(V__ORIG,V__M)
             &
             s__songArtist(V__ORIG,V__ARTIST)
           &
           ~((V__A = V__ARTIST))
           &
           s__record(V__ORIG,V__MUSIC)
         &
         s__before(s__WhenFn(V__MUSIC)
      ,s__WhenFn(V__MM))))))))))
)
)

Music.kif 454-467
No TPTP formula. May not be expressible in strict first order. Hotel.kif 663-674
( ! [V__TELEX,V__M,V__MSG] :
   (((s__destination(V__MSG,V__TELEX)
       &
       s__instance(V__MSG,s__Messaging) &
       s__patient(V__MSG,V__M)
     &
     s__instance(V__TELEX,s__Telex))
   =>
   (( ? [V__PROC, V__TEXT] :
       ((s__instance(V__PROC,s__Process) &
           (s__instrument(V__PROC,V__TELEX)
           &
           s__result(V__PROC,V__TEXT)
         &
         s__represents(V__TEXT,V__M)
       &
       s__instance(V__TEXT,s__Text) &
       s__before(s__BeginFn(s__WhenFn(V__MSG))
  ,s__BeginFn(s__WhenFn(V__PROC)))))))))
)
)

Communications.kif 202-214
( ! [V__TEXT,V__EDITION1,V__CBO2,V__EDITION2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__PUB1] :
   (((s__subclass(V__TEXT,s__ContentBearingObject) &
         s__subclass(V__EDITION1,s__ContentBearingObject) &
         s__instance(V__EDITION1,s__Class) &
         s__subclass(V__EDITION2,s__ContentBearingObject) &
         s__instance(V__EDITION2,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day))
       =>
       ((((s__EditionFn(V__TEXT,V__INT1)
             = V__EDITION1)
           &
           (s__EditionFn(V__TEXT,V__INT2)
           = V__EDITION2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__EDITION1)
     &
     s__instance(V__CBO2,V__EDITION2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

Merge.kif 14744-14761
( ! [V__AGENT,V__PROCESS,V__PROCESSSTART,V__AGENTEND] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESSSTART,s__TimePoint) &
         s__instance(V__AGENTEND,s__TimePoint))
       =>
       ((((V__PROCESSSTART = s__BeginFn(s__WhenFn(V__PROCESS)))
         &
         (V__AGENTEND = s__EndFn(s__WhenFn(V__AGENT)))
     &
     s__benefits(V__PROCESS,V__AGENT))
=>
(s__before(V__PROCESSSTART,V__AGENTEND)))))
)
)

Mid-level-ontology.kif 21661-21666
( ! [V__AGENT,V__PROCESS,V__PROCESSSTART,V__AGENTEND] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESSSTART,s__TimePoint) &
         s__instance(V__AGENTEND,s__TimePoint))
       =>
       ((((V__PROCESSSTART = s__BeginFn(s__WhenFn(V__PROCESS)))
         &
         (V__AGENTEND = s__EndFn(s__WhenFn(V__AGENT)))
     &
     s__suffers(V__PROCESS,V__AGENT))
=>
(s__before(V__PROCESSSTART,V__AGENTEND)))))
)
)

Mid-level-ontology.kif 28304-28313
( ! [V__N1,V__N2,V__Y,V__D1,V__T1,V__D2,V__T2,V__M] :
   (((s__instance(V__N1,s__PositiveInteger) &
         s__instance(V__N2,s__PositiveInteger) &
         s__instance(V__Y,s__Integer) &
         s__instance(V__D1,s__TimeInterval) &
         s__instance(V__T1,s__TimePoint) &
         s__instance(V__D2,s__TimeInterval) &
         s__instance(V__T2,s__TimePoint) &
         s__subclass(V__M,s__Month))
       =>
       (((s__instance(V__D1,s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y))))
     &
     s__instance(V__D2,s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y))))
&
(V__T1 = s__BeginFn(V__D1))
&
(V__T2 = s__BeginFn(V__D2))
&
s__greaterThan(V__N2,V__N1))
=>
(s__before(V__T1,V__T2)))))
)
)

Merge.kif 8332-8339
( ! [V__Period,V__Loan,V__Date,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Date,s__TimeInterval) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Loan,s__InterestOnlyLoan) &
             s__agreementPeriod(V__Loan,V__Period)
           &
           s__principalAmount(V__Loan,V__Principal)
         &
         s__interestEarned(V__Loan,V__Interest,V__Period))
     =>
     ((s__amountDue(V__Loan,V__Principal,s__EndFn(V__Period))
     &
     s__amountDue(V__Loan,V__Interest,V__Date)
   &
   s__before(s__EndFn(V__Date)
,s__EndFn(V__Period)))))))
)
)

FinancialOntology.kif 1570-1579
( ! [V__N1,V__M1,V__N2,V__M2,V__Y,V__T1,V__T2] :
   (((s__instance(V__N1,s__Class) &
         s__subclass(V__N1,s__Month) &
         s__instance(V__M1,s__TimeInterval) &
         s__instance(V__N2,s__Class) &
         s__subclass(V__N2,s__Month) &
         s__instance(V__M2,s__TimeInterval) &
         s__instance(V__Y,s__Integer) &
         s__instance(V__T1,s__TimePoint) &
         s__instance(V__T2,s__TimePoint))
       =>
       (((s__instance(V__M1,s__MonthFn(V__N1,s__YearFn(V__Y)))
       &
       s__instance(V__M2,s__MonthFn(V__N2,s__YearFn(V__Y)))
&
(V__T1 = s__BeginFn(V__M1))
&
(V__T2 = s__BeginFn(V__M2))
&
s__successorClass(V__N1,V__N2))
=>
(s__before(V__T1,V__T2)))))
)
)

Merge.kif 8316-8323
( ! [V__POINT] :
   (((s__instance(V__POINT,s__TimePoint) &
         ~((V__POINT = s__NegativeInfinity)))
         =>
         (s__before(s__NegativeInfinity,V__POINT)))
     )
   )

Merge.kif 7624-7628
( ! [V__POINT] :
   (((s__instance(V__POINT,s__TimePoint) &
         ~((V__POINT = s__PositiveInfinity)))
         =>
         (s__before(V__POINT,s__PositiveInfinity)))
       )
     )

Merge.kif 7606-7610
No TPTP formula. May not be expressible in strict first order. Merge.kif 11549-11558
( ! [V__PLACE,V__SHOCK] :
   (((s__instance(V__SHOCK,s__Aftershock) &
         s__eventLocated(V__SHOCK,V__PLACE))
     =>
     (( ? [V__TREMOR] :
         ((s__instance(V__TREMOR,s__EarthTremor) &
             s__eventLocated(V__TREMOR,V__PLACE)
           &
           s__before(s__WhenFn(V__TREMOR)
        ,s__WhenFn(V__SHOCK)))))))
)
)

Geography.kif 2294-2302
( ! [V__AGENT,V__E,V__ITEM,V__X,V__LOC2,V__LOC1] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ITEM,s__Physical) &
         s__instance(V__LOC1,s__Object))
       =>
       (((s__instance(V__X,s__Buffet) &
             s__member(V__ITEM,V__X)
           &
           s__located(V__X,V__LOC1)
         &
         s__instance(V__E,s__Eating) &
         s__agent(V__E,V__AGENT)
       &
       s__eventLocated(V__E,V__LOC2)
     &
     s__patient(V__E,V__ITEM))
=>
((~((V__LOC1 = V__LOC2))
     &
     ( ? [V__G] :
       ((s__instance(V__G,s__Getting) &
           s__patient(V__G,V__ITEM)
         &
         s__origin(V__G,V__LOC1)
       &
       s__agent(V__G,V__AGENT)
     &
     s__before(s__WhenFn(V__G)
  ,s__WhenFn(V__E))))))))))
)
)

Dining.kif 270-287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25664-25690
( ! [V__N1,V__N2,V__Y1,V__Y2,V__T1,V__T2] :
   (((s__instance(V__N1,s__Integer) &
         s__instance(V__N2,s__Integer) &
         s__instance(V__Y1,s__TimeInterval) &
         s__instance(V__Y2,s__TimeInterval) &
         s__instance(V__T1,s__TimePoint) &
         s__instance(V__T2,s__TimePoint))
       =>
       (((s__instance(V__Y1,s__YearFn(V__N1))
         &
         s__instance(V__Y2,s__YearFn(V__N2))
     &
     (V__T1 = s__BeginFn(V__Y1))
   &
   (V__T2 = s__BeginFn(V__Y2))
&
s__greaterThan(V__N2,V__N1))
=>
(s__before(V__T1,V__T2)))))
)
)

Merge.kif 8300-8307
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2749-2761
( ! [V__TEXT,V__CBO2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__VOLUME2,V__PUB1,V__VOLUME1] :
   (((s__subclass(V__TEXT,s__Series) &
         s__instance(V__TEXT,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day) &
         s__subclass(V__VOLUME2,s__Text) &
         s__instance(V__VOLUME2,s__Class) &
         s__subclass(V__VOLUME1,s__Text) &
         s__instance(V__VOLUME1,s__Class))
       =>
       (((s__subclass(V__TEXT,s__Periodical) &
             (s__SeriesVolumeFn(V__TEXT,V__INT1)
             = V__VOLUME1)
           &
           (s__SeriesVolumeFn(V__TEXT,V__INT2)
           = V__VOLUME2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__VOLUME1)
     &
     s__instance(V__CBO2,V__VOLUME2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

Mid-level-ontology.kif 13472-13486

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