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 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 30914-30917
(domain memberMeasure 1 SetOrClass) Mid-level-ontology.kif 30922-30922
(domain memberMeasure 2 MeasurementAttribute) Mid-level-ontology.kif 30923-30923
(domain memberMeasure 3 Quantity) Mid-level-ontology.kif 30924-30924
(instance memberMeasure TernaryPredicate) Mid-level-ontology.kif 30913-30913

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 30933-30938
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 30940-30945
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 31224-31231
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 31094-31099
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 31027-31032
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 31072-31077
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 31006-31011
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30975-30980
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 30926-30931
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 31116-31121
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 31256-31261
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 31138-31143
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 31181-31186
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 30994-30999
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 31101-31106
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 31123-31128
(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 31034-31039
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 31079-31084
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 31233-31240
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30968-30973
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 31263-31268
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 31145-31150
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 31188-31193
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 31013-31018
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 30987-30992

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