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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - memberMeasure
memberMeasure

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


s__documentation(s__memberMeasure__m,s__EnglishLanguage,'"A relation between a SetOrClass, a MeasureAttribute and a Quantity. It states that all members of the set or class have the following measure. Note that for classes this only applies to manufactured objects where a particular measurement can be engineering into the product."')

Mid-level-ontology.kif 30045-30048
s__domain(s__memberMeasure__m,n__1,s__SetOrClass)

Mid-level-ontology.kif 30053-30053 The number 1 argument of memberMeasure is an instance of set or class
s__domain(s__memberMeasure__m,n__2,s__MeasurementAttribute)

Mid-level-ontology.kif 30054-30054 The number 2 argument of memberMeasure is an instance of measurement attribute
s__domain(s__memberMeasure__m,n__3,s__Quantity)

Mid-level-ontology.kif 30055-30055 The number 3 argument of memberMeasure is an instance of quantity
s__instance(s__memberMeasure__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__Class)

Mid-level-ontology.kif 30044-30044 memberMeasure is an instance of ternary predicate

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


s__format(s__EnglishLanguage,s__memberMeasure__m,'"members of %1 have the measure %3 in terms of %2"')

Mid-level-ontology.kif 30050-30051

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


( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__instance(V__O,s__Artifact)))))
)
)

Mid-level-ontology.kif 30064-30069
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__PhysicalQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__measure(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30071-30076
( ! [V__O,V__P,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Agent) &
         s__subclass(V__P,s__Process) &
         s__instance(V__Q,s__TimeDuration) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S)
         &
         s__instance(V__P,s__Process) &
         s__agent(V__P,V__O))
     =>
     (s__frequency(V__P,V__Q)))))
)
)

Mid-level-ontology.kif 30353-30360
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__approximateDiameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30225-30230
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__circumfrence(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30158-30163
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__diameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30203-30208
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__height(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30137-30142
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__length(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30106-30111
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__PhysicalQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__measure(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30057-30062
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Region) &
         s__instance(V__Q,s__AreaMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__totalArea(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30247-30252
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__transformerCapacity(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30385-30390
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__voltageRatingPrimary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30269-30274
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__voltageRatingSecondary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30312-30317
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__width(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30125-30130
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((s__memberMeasure(V__S,s__ApproximateDiameter,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__approximateDiameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30232-30237
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Region) &
         s__instance(V__Q,s__AreaMeasure))
       =>
       (((s__memberMeasure(V__S,s__Area,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__totalArea(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30254-30259
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((s__memberMeasure(V__S,s__Circumfrence,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__circumfrence(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30165-30170
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((s__memberMeasure(V__S,s__Diameter,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__diameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30210-30215
( ! [V__O,V__P,V__Q,V__S] :
   (((s__instance(V__O,s__Agent) &
         s__subclass(V__P,s__Process) &
         s__instance(V__Q,s__TimeDuration))
       =>
       (((s__memberMeasure(V__S,s__Frequency,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S)
         &
         s__instance(V__P,s__Process) &
         s__agent(V__P,V__O))
     =>
     (s__frequency(V__P,V__Q)))))
)
)

Mid-level-ontology.kif 30362-30369
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity))
       =>
       (((s__memberMeasure(V__S,s__Length,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__length(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30099-30104
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       (((s__memberMeasure(V__S,s__TransformerCapacity,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__transformerCapacity(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30392-30397
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       (((s__memberMeasure(V__S,s__VoltageRatingPrimary,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__voltageRatingPrimary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30276-30281
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       (((s__memberMeasure(V__S,s__VoltageRatingSecondary,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__voltageRatingSecondary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30319-30324
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((s__memberMeasure(V__S,s__Width,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__height(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30144-30149
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity))
       =>
       (((s__memberMeasure(V__S,s__Width,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__width(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30118-30123

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