Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Re2Ra3Ra4En5Re6Re7InFn

 Sigma KEE - memberMeasure
memberMeasure

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


(instance memberMeasure TernaryPredicate) Mid-level-ontology.kif 33608-33608 member measure is an instance of ternary predicate
(documentation memberMeasure EnglishLanguage "A relation between a Class, a MeasureAttribute and a Quantity. It states that all members of the 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 33609-33612 member measure is an instance of ternary predicate
(domain memberMeasure 1 Class) Mid-level-ontology.kif 33617-33617 The number 1 argument of member measure is an instance of class
(domain memberMeasure 2 MeasurementAttribute) Mid-level-ontology.kif 33618-33618 The number 2 argument of member measure is an instance of measurement attribute
(domain memberMeasure 3 Quantity) Mid-level-ontology.kif 33619-33619 The number 3 argument of member measure is an instance of quantity

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


(format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2") Mid-level-ontology.kif 33614-33615
(termFormat EnglishLanguage memberMeasure "member measure") domainEnglishFormat.kif 65891-65891

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (measure ?O ?Q))		 Mid-level-ontology.kif 33621-33626 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the measure of W is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))		 Mid-level-ontology.kif 33628-33633 If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then W is an instance of artifact
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))		 Mid-level-ontology.kif 33635-33640 If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then the measure of W is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 33658-33663 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the length of W is Y
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33670-33675 If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the width of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33677-33682 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the width of W is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (height ?O ?Q))		 Mid-level-ontology.kif 33689-33694 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the height of W is Y
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))		 Mid-level-ontology.kif 33696-33701 If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the height of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33710-33715 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then circumference W and Y
(=>
    (and
        (memberMeasure ?S Circumference ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33717-33722 If members of X have the measure Y in terms of Circumference, X is an instance of class, and Z is an instance of X, then circumference Z and Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 33764-33769 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the diameter of W is Y
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 33771-33776 If members of X have the measure Y in terms of Diameter, X is an instance of class, and Z is an instance of X, then the diameter of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 33786-33791 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the approximate diameter of W is Y
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 33793-33798 If members of X have the measure Y in terms of ApproximateDiameter, X is an instance of class, and Z is an instance of X, then the approximate diameter of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 33815-33820 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then Y is a total area of W
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 33822-33827 If members of X have the measure Y in terms of Area, X is an instance of class, and Z is an instance of X, then Y is a total area of Z
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 33853-33860 If members of X have the measure Y in terms of Z, X is an instance of set, W is an element of X, V is an instance of process, and W is an agent of V, then process occurs every Y
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 33862-33869 If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))		 engineering.kif 82-87 If members of X have the measure Y in terms of length, X is an instance of class, and Z is an instance of X, then the length of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (voltageRatingPrimary ?O ?Q))		 engineering.kif 604-609 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the FunctionQuantity of W is Y
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))		 engineering.kif 611-616 If members of X have the measure Y in terms of Primary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (voltageRatingSecondary ?O ?Q))		 engineering.kif 647-652 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the FunctionQuantity of W is Y
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))		 engineering.kif 654-659 If members of X have the measure Y in terms of Secondary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (transformerCapacity ?O ?Q))		 engineering.kif 695-700 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the capacity of W is Y
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))		 engineering.kif 702-707 If members of X have the measure Y in terms of Transformer Capacity, X is an instance of class, and Z is an instance of X, then the capacity of Z is Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners