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
-------------------------


(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 32937-32940
(domain memberMeasure 1 Class) Mid-level-ontology.kif 32945-32945 Le nombre 1 argument de memberMeasure est une instance de classe
(domain memberMeasure 2 MeasurementAttribute) Mid-level-ontology.kif 32946-32946 Le nombre 2 argument de memberMeasure est une instance de MeasurementAttribute
(domain memberMeasure 3 Quantity) Mid-level-ontology.kif 32947-32947 Le nombre 3 argument de memberMeasure est une instance de quantit�
(instance memberMeasure TernaryPredicate) Mid-level-ontology.kif 32936-32936 memberMeasure est une instance de pr�dicat ternaire

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))		 Mid-level-ontology.kif 32956-32961
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))		 Mid-level-ontology.kif 32963-32968
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 33263-33270
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 33126-33131
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33050-33055
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 33104-33109
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (height ?O ?Q))		 Mid-level-ontology.kif 33029-33034
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 32998-33003
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (measure ?O ?Q))		 Mid-level-ontology.kif 32949-32954
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 33155-33160
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (transformerCapacity ?O ?Q))		 Mid-level-ontology.kif 33295-33300
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (voltageRatingPrimary ?O ?Q))		 Mid-level-ontology.kif 33177-33182
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (voltageRatingSecondary ?O ?Q))		 Mid-level-ontology.kif 33220-33225
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33017-33022
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 33133-33138
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 33162-33167
(=>
    (and
        (memberMeasure ?S Circumference ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33057-33062
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 33111-33116
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 33272-33279
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 32991-32996
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))		 Mid-level-ontology.kif 33302-33307
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))		 Mid-level-ontology.kif 33184-33189
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))		 Mid-level-ontology.kif 33227-33232
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))		 Mid-level-ontology.kif 33036-33041
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33010-33015

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