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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasureFn
MeasureFn

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


s__documentation(s__MeasureFn__m,s__ChineseLanguage,'"这个 BinaryFunction 把一个 RealNumber 和一个 UnitOfMeasure 联系成这个 Number 的单位。 这是用来表达 PhysicalQuantity 的某种分量的实例。 例如:三米可以这样来表示 (MeasureFn 3Meter)。"')

chinese_format.kif 2434-2436
s__documentation(s__MeasureFn__m,s__EnglishLanguage,'"This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used to express `measured instances of PhysicalQuantity. Example: the concept of three meters is represented as (MeasureFn 3 Meter)."')

Merge.kif 6124-6128
s__domain(s__MeasureFn__m,n__1,s__RealNumber)

Merge.kif 6120-6120 The number 1 argument of measure is an instance of real number
s__domain(s__MeasureFn__m,n__2,s__UnitOfMeasure)

Merge.kif 6121-6121 The number 2 argument of measure is an instance of unit of measure
s__instance(s__MeasureFn__m,s__BinaryFunction)

s__instance(s__BinaryFunction,s__Class)

Merge.kif 6118-6118 Measure is an instance of binary function
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__MeasureFn__m,s__TotalValuedRelation)

Merge.kif 6119-6119 Measure is an instance of total valued relation
s__range(s__MeasureFn__m,s__PhysicalQuantity)

Merge.kif 6122-6122 The range of measure is an instance of physical quantity

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


s__format(s__ChineseLanguage,s__MeasureFn__m,'"%1 %2"')

chinese_format.kif 633-633
s__format(s__EnglishLanguage,s__MeasureFn__m,'"%1 %2(s)"')

english_format.kif 639-639
s__termFormat(s__ChineseLanguage,s__MeasureFn__m,'"测量"')

domainEnglishFormat.kif 36654-36654
s__termFormat(s__ChineseLanguage,s__MeasureFn__m,'"计量函数"')

chinese_format.kif 634-634
s__termFormat(s__ChineseTraditionalLanguage,s__MeasureFn__m,'"測量"')

domainEnglishFormat.kif 36653-36653
s__termFormat(s__EnglishLanguage,s__MeasureFn__m,'"measure"')

domainEnglishFormat.kif 36652-36652

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


( ! [V__S,V__LD] :
   ((s__instance(V__S,s__RealNumber) =>
       ((((s__instance(V__LD,s__LiquidDrop) &
               s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
             &
             s__lessThan(n__500,V__S))
         =>
         s__instance(V__LD,s__Droplet))
       &
       (s__instance(V__LD,s__Droplet) =>
         (s__instance(V__LD,s__LiquidDrop) &
           s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
         &
         s__lessThan(n__500,V__S))))))
)
)

Geography.kif 7082-7088 A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500 is less than the real number if and only if the self connected object is an instance of droplet
( ! [V__P,V__S,V__PM] :
   (((s__instance(V__P,s__SelfConnectedObject) &
         s__instance(V__S,s__RealNumber))
       =>
       ((((s__instance(V__PM,s__ParticulateMatter) &
               s__part(V__P,V__PM)
             &
             s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
           &
           s__greaterThan(n__10,V__S)
         &
         s__greaterThan(V__S,n__2_5))
     =>
     ( ? [V__PM10] :
       ((s__instance(V__PM10,s__CoarseParticulateMatter) &
           s__part(V__PM10,V__PM)))))
&
(( ? [V__PM10] :
     ((s__instance(V__PM10,s__CoarseParticulateMatter) &
         s__part(V__PM10,V__PM))))
=>
(s__instance(V__PM,s__ParticulateMatter) &
   s__part(V__P,V__PM)
&
s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThan(n__10,V__S)
&
s__greaterThan(V__S,n__2_5))))))
)
)

Geography.kif 6998-7009 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
( ! [V__P,V__S,V__PM] :
   (((s__instance(V__P,s__SelfConnectedObject) &
         s__instance(V__S,s__RealNumber))
       =>
       ((((s__instance(V__PM,s__ParticulateMatter) &
               s__part(V__P,V__PM)
             &
             s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
           &
           s__greaterThanOrEqualTo(V__S,n__2_5))
       =>
       ( ? [V__PM25] :
         ((s__instance(V__PM25,s__FineParticulateMatter) &
             s__part(V__PM25,V__PM)))))
   &
   (( ? [V__PM25] :
       ((s__instance(V__PM25,s__FineParticulateMatter) &
           s__part(V__PM25,V__PM))))
   =>
   (s__instance(V__PM,s__ParticulateMatter) &
     s__part(V__P,V__PM)
   &
   s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThanOrEqualTo(V__S,n__2_5))))))
)
)

Geography.kif 7027-7037 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
( ! [V__AMOUNT,V__UNIT] :
   (((s__instance(V__AMOUNT,s__Number) &
         s__instance(V__AMOUNT,s__PhysicalQuantity))
       =>
       ((((s__instance(V__UNIT,s__UnitOfMeasure) &
               (V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))
         =>
         (V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
        ,s__MeasureFn(n__1,V__UNIT))))
&
((V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
  ,s__MeasureFn(n__1,V__UNIT)))
=>
(s__instance(V__UNIT,s__UnitOfMeasure) &
(V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))))))
)
)

Geography.kif 3804-3808 An unit of measure is an instance of unit of measure and a number is equal to 1 the square unit of the unit of measure(s) if and only if the number is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__0,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__North))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__North) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__0,s__AngularDegree))))))
)
)

Geography.kif 3612-3614 An object courseWRT true north another object for 0 angular degree(s) if and only if the object is north to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__135,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Southeast))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Southeast) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__135,s__AngularDegree))))))
)
)

Geography.kif 3636-3638 An object courseWRT true north another object for 135 angular degree(s) if and only if the object is southeast to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__180,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__South))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__South) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__180,s__AngularDegree))))))
)
)

Geography.kif 3620-3622 An object courseWRT true north another object for 180 angular degree(s) if and only if the object is south to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__225,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Southwest))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Southwest) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__225,s__AngularDegree))))))
)
)

Geography.kif 3640-3642 An object courseWRT true north another object for 225 angular degree(s) if and only if the object is southwest to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__270,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__West))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__West) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__270,s__AngularDegree))))))
)
)

Geography.kif 3624-3626 An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__315,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Northwest))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Northwest) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__315,s__AngularDegree))))))
)
)

Geography.kif 3644-3646 An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__360,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__North))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__North) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__360,s__AngularDegree))))))
)
)

Geography.kif 3628-3630 An object courseWRT true north another object for 360 angular degree(s) if and only if the object is north to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__45,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Northeast))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Northeast) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__45,s__AngularDegree))))))
)
)

Geography.kif 3632-3634 An object courseWRT true north another object for 45 angular degree(s) if and only if the object is northeast to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__90,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__East))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__East) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__90,s__AngularDegree))))))
)
)

Geography.kif 3616-3618 An object courseWRT true north another object for 90 angular degree(s) if and only if the object is east to the other object
( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       ((((V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))
             =>
             (V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration))))
         &
         ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration)))
         =>
         (V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))))))
)
)

Weather.kif 1701-1707 A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
( ! [V__Time,V__U,V__Option] :
   (((s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimePosition))
       =>
       (((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
               ((s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__StockPrice,s__RealNumber) &
                   s__instance(V__StrikePrice,s__RealNumber) &
                   (s__instance(V__Option,s__CallOption) &
                     s__underlier(V__Option,V__Stock)
                   &
                   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
                ,V__Time)
               &
               s__instance(V__U,s__UnitOfCurrency) &
               s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
           &
           s__lessThan(V__StockPrice,V__StrikePrice)))))
=>
s__outOfTheMoney(V__Option,V__Time))
&
(s__outOfTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
   s__instance(V__StockPrice,s__RealNumber) &
   s__instance(V__StrikePrice,s__RealNumber) &
   (s__instance(V__Option,s__CallOption) &
     s__underlier(V__Option,V__Stock)
   &
   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StockPrice,V__StrikePrice)))))))))
)
)

FinancialOntology.kif 3012-3023 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
( ! [V__Time,V__U,V__Option] :
   (((s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimePosition))
       =>
       (((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
               ((s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__StockPrice,s__RealNumber) &
                   s__instance(V__StrikePrice,s__RealNumber) &
                   (s__instance(V__Option,s__CallOption) &
                     s__underlier(V__Option,V__Stock)
                   &
                   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
                ,V__Time)
               &
               s__instance(V__U,s__UnitOfCurrency) &
               s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
           &
           s__lessThan(V__StrikePrice,V__StockPrice)))))
=>
s__inTheMoney(V__Option,V__Time))
&
(s__inTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
   s__instance(V__StockPrice,s__RealNumber) &
   s__instance(V__StrikePrice,s__RealNumber) &
   (s__instance(V__Option,s__CallOption) &
     s__underlier(V__Option,V__Stock)
   &
   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StrikePrice,V__StockPrice)))))))))
)
)

FinancialOntology.kif 2963-2974 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
( ! [V__Time,V__U,V__Option] :
   (((s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimePosition))
       =>
       (((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
               ((s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__StockPrice,s__RealNumber) &
                   s__instance(V__StrikePrice,s__RealNumber) &
                   (s__instance(V__Option,s__PutOption) &
                     s__underlier(V__Option,V__Stock)
                   &
                   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
                ,V__Time)
               &
               s__instance(V__U,s__UnitOfCurrency) &
               s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
           &
           s__lessThan(V__StockPrice,V__StrikePrice)))))
=>
s__inTheMoney(V__Option,V__Time))
&
(s__inTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
   s__instance(V__StockPrice,s__RealNumber) &
   s__instance(V__StrikePrice,s__RealNumber) &
   (s__instance(V__Option,s__PutOption) &
     s__underlier(V__Option,V__Stock)
   &
   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StockPrice,V__StrikePrice)))))))))
)
)

FinancialOntology.kif 2976-2987 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
( ! [V__Time,V__U,V__Option] :
   (((s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimePosition))
       =>
       (((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
               ((s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__StockPrice,s__RealNumber) &
                   s__instance(V__StrikePrice,s__RealNumber) &
                   (s__instance(V__Option,s__PutOption) &
                     s__underlier(V__Option,V__Stock)
                   &
                   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
                ,V__Time)
               &
               s__instance(V__U,s__UnitOfCurrency) &
               s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
           &
           s__lessThan(V__StrikePrice,V__StockPrice)))))
=>
s__outOfTheMoney(V__Option,V__Time))
&
(s__outOfTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
   s__instance(V__StockPrice,s__RealNumber) &
   s__instance(V__StrikePrice,s__RealNumber) &
   (s__instance(V__Option,s__PutOption) &
     s__underlier(V__Option,V__Stock)
   &
   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StrikePrice,V__StockPrice)))))))))
)
)

FinancialOntology.kif 3025-3036 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
( ! [V__O,V__A] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__A,s__RealNumber))
       =>
       (((s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))
           =>
           s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
        ,s__PoundMass)))
     &
     (s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
    ,s__PoundMass))
   =>
   s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))))))
)
)

Mid-level-ontology.kif 12808-12814 The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205 pound mass(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcMinute)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcMinute))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))))))
)
)

Geography.kif 378-380 The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60 and the real number arc minute(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcSecond)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcSecond))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))))))
)
)

Geography.kif 397-399 The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60 and the real number arc second(s)
( ! [V__OBJECT,V__NUMBER] :
   (((s__instance(V__OBJECT,s__Physical) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))
           =>
           s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
        ,s__PoundMass)))
     &
     (s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
    ,s__PoundMass))
   =>
   s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))))))
)
)

Mid-level-ontology.kif 12524-12529 The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16 pound mass(s)
( ! [V__SOLUTION,V__PH] :
   (((s__instance(V__SOLUTION,s__Solution) &
         s__instance(V__PH,s__RealNumber))
       =>
       (((s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))
           =>
           s__potentialOfHydrogen(V__SOLUTION,V__PH))
       &
       (s__potentialOfHydrogen(V__SOLUTION,V__PH)
       =>
       s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))))))
)
)

Geography.kif 2510-2513 The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution
( ! [V__N2,V__S,V__SI,V__U,V__CO,V__N] :
   (((s__instance(V__N2,s__RealNumber) &
         s__subclass(V__S,s__Substance) &
         s__instance(V__S,s__Class) &
         s__instance(V__SI,s__Object) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__CO,s__CorpuscularObject) &
         s__instance(V__N,s__RealNumber))
       =>
       (((s__amount(V__S,V__CO,s__MeasureFn(V__N,V__U))
         &
         s__instance(V__SI,V__S)
       &
       s__measure(V__SI,s__MeasureFn(V__N2,V__U))
   &
   s__part(V__SI,V__CO))
=>
(( ? [V__L] :
   ((s__instance(V__L,s__List) &
       (s__inList(s__MeasureFn(V__N2,V__U)
      ,V__L)
     &
     (V__L = s__AmountsFn(V__S,V__CO))
   &
   (s__MeasureFn(V__N,V__U)
   = s__ListSumFn(V__L))))))))))
)
)

Merge.kif 7373-7389
( ! [V__O,V__LM,V__S,V__VM,V__V1,V__V2,V__L] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__S,s__Object) &
         s__instance(V__V1,s__RealNumber) &
         s__instance(V__V2,s__RealNumber) &
         s__instance(V__L,s__RealNumber))
       =>
       (((s__approximateDiameter(V__O,s__MeasureFn(V__L,V__LM))
         &
         s__sphereRadius(V__S,s__MeasureFn(s__DivisionFn(V__L,n__2)
      ,V__LM))
   &
   s__measure(V__S,s__MeasureFn(V__V1,V__VM))
&
s__measure(V__O,s__MeasureFn(V__V2,V__VM))
&
s__instance(V__LM,s__LengthMeasure) &
s__instance(V__VM,s__VolumeMeasure))
=>
((V__V1 = V__V2)))))
)
)

Mid-level-ontology.kif 17022-17033

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AMOUNT,V__UNIT] :
   (((s__instance(V__AMOUNT,s__Number) &
         s__instance(V__AMOUNT,s__PhysicalQuantity))
       =>
       ((((s__instance(V__UNIT,s__UnitOfMeasure) &
               (V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))
         =>
         (V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
        ,s__MeasureFn(n__1,V__UNIT))))
&
((V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
  ,s__MeasureFn(n__1,V__UNIT)))
=>
(s__instance(V__UNIT,s__UnitOfMeasure) &
(V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))))))
)
)

Geography.kif 3804-3808 An unit of measure is an instance of unit of measure and a number is equal to 1 the square unit of the unit of measure(s) if and only if the number is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order. Weather.kif 2673-2683 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
( ! [V__LAND,V__WATER,V__DIST] :
   (((s__instance(V__LAND,s__Physical) &
         s__instance(V__WATER,s__Object) &
         s__instance(V__DIST,s__RealNumber))
       =>
       (((s__attribute(V__WATER,s__OpenSea) =>
             (s__instance(V__WATER,s__SaltWaterArea) &
               ~(s__instance(V__WATER,s__LandlockedWater))
               &
               s__distance(V__LAND,V__WATER,s__MeasureFn(V__DIST,s__NauticalMile))
             &
             s__greaterThan(V__DIST,n__5)))
       &
       ((s__instance(V__WATER,s__SaltWaterArea) &
           ~(s__instance(V__WATER,s__LandlockedWater))
           &
           s__distance(V__LAND,V__WATER,s__MeasureFn(V__DIST,s__NauticalMile))
         &
         s__greaterThan(V__DIST,n__5))
     =>
     s__attribute(V__WATER,s__OpenSea)))))
)
)

Geography.kif 4506-4514 Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a real number nautical mile(s) and the real number is greater than 5
( ! [V__R,V__E,V__MAX,V__MIN,V__M] :
   (((s__instance(V__R,s__RealNumber) &
         s__instance(V__E,s__Engine) &
         s__instance(V__MAX,s__RealNumber) &
         s__instance(V__MIN,s__RealNumber) &
         s__instance(V__M,s__UnitOfMeasure))
       =>
       (((s__compressionRatio(V__E,V__R)
           =>
           (s__minCylinderVolume(V__E,s__MeasureFn(V__MIN,V__M))
         &
         s__maxCylinderVolume(V__E,s__MeasureFn(V__MAX,V__M))
     &
     (V__R = s__DivisionFn(V__MIN,V__MAX))))
&
((s__minCylinderVolume(V__E,s__MeasureFn(V__MIN,V__M))
&
s__maxCylinderVolume(V__E,s__MeasureFn(V__MAX,V__M))
&
(V__R = s__DivisionFn(V__MIN,V__MAX)))
=>
s__compressionRatio(V__E,V__R)))))
)
)

Cars.kif 1928-1933 The compression ratio of an engine is a real number if and only if the minimum volume of the cylinders in the engine the engine is another real number an unit of measure(s) and the maximum volume of the cylinders in the engine the engine is the unit of measureAX the unit of measure(s) and the real number is equal to the other real number and the unit of measureAX
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       ((((V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))
             =>
             (V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration))))
         &
         ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration)))
         =>
         (V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))))))
)
)

Weather.kif 1701-1707 A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__larger(V__OBJ1,V__OBJ2)
           =>
           ( ! [V__QUANT1, V__QUANT2, V__UNIT] :
             (((s__instance(V__QUANT1,s__RealNumber) &
                   s__instance(V__QUANT2,s__RealNumber))
                 =>
                 (((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT))
                   &
                   s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT))
               &
               s__instance(V__UNIT,s__UnitOfLength))
             =>
             (s__greaterThan(V__QUANT1,V__QUANT2))))))))
&
(( ! [V__QUANT1, V__QUANT2, V__UNIT] :
   (((s__instance(V__QUANT1,s__RealNumber) &
         s__instance(V__QUANT2,s__RealNumber))
       =>
       (((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT))
         &
         s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfLength))
   =>
   (s__greaterThan(V__QUANT1,V__QUANT2)))))))
=>
s__larger(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 7536-7544 An object is larger than another object if and only if for all a real number, another real number and an unit of measure
( ! [V__O,V__A] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__A,s__RealNumber))
       =>
       (((s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))
           =>
           s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
        ,s__PoundMass)))
     &
     (s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
    ,s__PoundMass))
   =>
   s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))))))
)
)

Mid-level-ontology.kif 12808-12814 The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205 pound mass(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcMinute)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcMinute))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))))))
)
)

Geography.kif 378-380 The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60 and the real number arc minute(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcSecond)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcSecond))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))))))
)
)

Geography.kif 397-399 The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60 and the real number arc second(s)
( ! [V__OBJECT,V__NUMBER] :
   (((s__instance(V__OBJECT,s__Physical) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))
           =>
           s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
        ,s__PoundMass)))
     &
     (s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
    ,s__PoundMass))
   =>
   s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))))))
)
)

Mid-level-ontology.kif 12524-12529 The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16 pound mass(s)
( ! [V__N2,V__S,V__SI,V__U,V__CO,V__N] :
   (((s__instance(V__N2,s__RealNumber) &
         s__subclass(V__S,s__Substance) &
         s__instance(V__S,s__Class) &
         s__instance(V__SI,s__Object) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__CO,s__CorpuscularObject) &
         s__instance(V__N,s__RealNumber))
       =>
       (((s__amount(V__S,V__CO,s__MeasureFn(V__N,V__U))
         &
         s__instance(V__SI,V__S)
       &
       s__measure(V__SI,s__MeasureFn(V__N2,V__U))
   &
   s__part(V__SI,V__CO))
=>
(( ? [V__L] :
   ((s__instance(V__L,s__List) &
       (s__inList(s__MeasureFn(V__N2,V__U)
      ,V__L)
     &
     (V__L = s__AmountsFn(V__S,V__CO))
   &
   (s__MeasureFn(V__N,V__U)
   = s__ListSumFn(V__L))))))))))
)
)

Merge.kif 7373-7389
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__arableLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__ARABLE] :
       ((s__instance(V__ARABLE,s__ArableLand) &
           s__geographicSubregion(V__ARABLE,V__REGION)
         &
         s__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2070-2080
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17761-17770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17776-17786
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17792-17802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17808-17818
( ! [V__ROOM,V__HOTELUNIT] :
   (((s__instance(V__ROOM,s__Object) &
         s__instance(V__HOTELUNIT,s__Class))
       =>
       (((s__attribute(V__ROOM,s__Oversized) &
             s__immediateInstance(V__ROOM,V__HOTELUNIT)
           &
           s__subclass(V__HOTELUNIT,s__HotelUnit))
         =>
         (( ? [V__NORMAL, V__AREA1, V__AREA2, V__U] :
             ((s__instance(V__NORMAL,s__Physical) &
                 (s__immediateInstance(V__NORMAL,V__HOTELUNIT)
                 &
                 s__instance(V__U,s__UnitOfArea) &
                 s__measure(V__NORMAL,s__MeasureFn(V__AREA1,V__U))
             &
             s__measure(V__ROOM,s__MeasureFn(V__AREA2,V__U))
         &
         s__instance(V__AREA1,s__AreaMeasure) &
         s__instance(V__AREA2,s__AreaMeasure) &
         s__greaterThan(V__AREA2,V__AREA1)))))))))
)
)

Hotel.kif 1164-1179
No TPTP formula. May not be expressible in strict first order. Government.kif 1118-1138
No TPTP formula. May not be expressible in strict first order. Geography.kif 658-668
( ! [V__Date,V__Balance,V__Account,V__Overdraft] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Overdraft,s__RealNumber))
       =>
       (((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
           &
           s__lessThan(V__Balance,n__0)
         &
         (V__Overdraft = s__SubtractionFn(n__0,V__Balance)))
     =>
     (s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date)))))
)
)

FinancialOntology.kif 742-747

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


s__boilingPoint(s__Actinium,s__MeasureFn(n__3470,s__KelvinDegree))

Mid-level-ontology.kif 28399-28399 3470 Kelvin degree(s) is a boiling point of actinium
s__boilingPoint(s__Aluminum,s__MeasureFn(n__2740,s__KelvinDegree))

Mid-level-ontology.kif 28247-28247 2740 Kelvin degree(s) is a boiling point of aluminum
s__boilingPoint(s__Americium,s__MeasureFn(n__2880,s__KelvinDegree))

Mid-level-ontology.kif 28411-28411 2880 Kelvin degree(s) is a boiling point of americium
s__boilingPoint(s__Antimony,s__MeasureFn(n__2023,s__KelvinDegree))

Mid-level-ontology.kif 28323-28323 2023 Kelvin degree(s) is a boiling point of antimony
s__boilingPoint(s__Argon,s__MeasureFn(n__87_29,s__KelvinDegree))

Mid-level-ontology.kif 28257-28257 87.29 Kelvin degree(s) is a boiling point of argon
s__boilingPoint(s__Arsenic,s__MeasureFn(n__886,s__KelvinDegree))

Mid-level-ontology.kif 28287-28287 886 Kelvin degree(s) is a boiling point of arsenic
s__boilingPoint(s__Astatine,s__MeasureFn(n__610,s__KelvinDegree))

Mid-level-ontology.kif 28391-28391 610 Kelvin degree(s) is a boiling point of astatine
s__boilingPoint(s__Barium,s__MeasureFn(n__1913,s__KelvinDegree))

Mid-level-ontology.kif 28333-28333 1913 Kelvin degree(s) is a boiling point of barium
s__boilingPoint(s__Beryllium,s__MeasureFn(n__3243,s__KelvinDegree))

Mid-level-ontology.kif 28229-28229 3243 Kelvin degree(s) is a boiling point of beryllium
s__boilingPoint(s__Bismuth,s__MeasureFn(n__1833,s__KelvinDegree))

Mid-level-ontology.kif 28387-28387 1833 Kelvin degree(s) is a boiling point of bismuth
s__boilingPoint(s__Boron,s__MeasureFn(n__2823,s__KelvinDegree))

Mid-level-ontology.kif 28231-28231 2823 Kelvin degree(s) is a boiling point of boron
s__boilingPoint(s__Bromine,s__MeasureFn(n__331_93,s__KelvinDegree))

Mid-level-ontology.kif 28291-28291 331.93 Kelvin degree(s) is a boiling point of bromine
s__boilingPoint(s__Cadmium,s__MeasureFn(n__1038,s__KelvinDegree))

Mid-level-ontology.kif 28317-28317 1038 Kelvin degree(s) is a boiling point of cadmium
s__boilingPoint(s__Caesium,s__MeasureFn(n__963,s__KelvinDegree))

Mid-level-ontology.kif 28331-28331 963 Kelvin degree(s) is a boiling point of caesium
s__boilingPoint(s__Calcium,s__MeasureFn(n__1760,s__KelvinDegree))

Mid-level-ontology.kif 28261-28261 1760 Kelvin degree(s) is a boiling point of calcium
s__boilingPoint(s__Carbon,s__MeasureFn(n__5100,s__KelvinDegree))

Mid-level-ontology.kif 28233-28233 5100 Kelvin degree(s) is a boiling point of carbon
s__boilingPoint(s__Cerium,s__MeasureFn(n__3530,s__KelvinDegree))

Mid-level-ontology.kif 28337-28337 3530 Kelvin degree(s) is a boiling point of cerium
s__boilingPoint(s__Chlorine,s__MeasureFn(n__238_55,s__KelvinDegree))

Mid-level-ontology.kif 28255-28255 238.55 Kelvin degree(s) is a boiling point of chlorine
s__boilingPoint(s__Chromium,s__MeasureFn(n__2755,s__KelvinDegree))

Mid-level-ontology.kif 28269-28269 2755 Kelvin degree(s) is a boiling point of chromium
s__boilingPoint(s__Cobalt,s__MeasureFn(n__3143,s__KelvinDegree))

Mid-level-ontology.kif 28275-28275 3143 Kelvin degree(s) is a boiling point of cobalt
s__boilingPoint(s__Copper,s__MeasureFn(n__2868,s__KelvinDegree))

Mid-level-ontology.kif 28279-28279 2868 Kelvin degree(s) is a boiling point of copper
s__boilingPoint(s__Dysprosium,s__MeasureFn(n__2608,s__KelvinDegree))

Mid-level-ontology.kif 28353-28353 2608 Kelvin degree(s) is a boiling point of dysprosium
s__boilingPoint(s__Erbium,s__MeasureFn(n__2783,s__KelvinDegree))

Mid-level-ontology.kif 28357-28357 2783 Kelvin degree(s) is a boiling point of erbium
s__boilingPoint(s__Europium,s__MeasureFn(n__1870,s__KelvinDegree))

Mid-level-ontology.kif 28347-28347 1870 Kelvin degree(s) is a boiling point of europium
s__boilingPoint(s__Fluorine,s__MeasureFn(n__85_01,s__KelvinDegree))

Mid-level-ontology.kif 28239-28239 85.01 Kelvin degree(s) is a boiling point of fluorine

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