memberMeasure - Sigma Knowledge base Browser

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 30399-30402
(domain memberMeasure 1 SetOrClass)	Mid-level-ontology.kif 30407-30407	domain memberMeasure, 1 and SetOrClass
(domain memberMeasure 2 MeasurementAttribute)	Mid-level-ontology.kif 30408-30408	domain memberMeasure, 2 and MeasurementAttribute
(domain memberMeasure 3 Quantity)	Mid-level-ontology.kif 30409-30409	domain memberMeasure, 3 and Quantity
(instance memberMeasure TernaryPredicate)	Mid-level-ontology.kif 30398-30398	instance memberMeasure and TernaryPredicate

appearance as argument number 2

(format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2")

Mid-level-ontology.kif 30404-30405

antecedent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact))	Mid-level-ontology.kif 30418-30423	memberMeasure Class, MeasurementAttribute and Quantity instance Class and Class instance Entity and Class instance Entity and Artifact
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 30425-30430	memberMeasure Class, MeasurementAttribute and PhysicalQuantity instance Class and Class instance Physical and Class measure Physical and PhysicalQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q))	Mid-level-ontology.kif 30707-30714	memberMeasure Collection, MeasurementAttribute and TimeDuration instance Collection and Set member Agent and Collection instance Process and Process agent Process and Agent frequency Process and TimeDuration
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 30579-30584	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member SelfConnectedObject and Collection approximateDiameter SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 30512-30517	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member Physical and Collection circumfrence Physical and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 30557-30562	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member Physical and Collection diameter Physical and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 30491-30496	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member SelfConnectedObject and Collection height SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 30460-30465	memberMeasure Collection, MeasurementAttribute and Quantity instance Collection and Set member Physical and Collection length Physical and Quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 30411-30416	memberMeasure Collection, MeasurementAttribute and PhysicalQuantity instance Collection and Set member Physical and Collection measure Physical and PhysicalQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 30601-30606	memberMeasure Collection, MeasurementAttribute and AreaMeasure instance Collection and Set member Region and Collection totalArea Region and AreaMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 30739-30744	memberMeasure Collection, MeasurementAttribute and FunctionQuantity instance Collection and Set member ElectricalTransformer and Collection transformerCapacity ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 30623-30628	memberMeasure Collection, MeasurementAttribute and FunctionQuantity instance Collection and Set member ElectricalTransformer and Collection voltageRatingPrimary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 30666-30671	memberMeasure Collection, MeasurementAttribute and FunctionQuantity instance Collection and Set member ElectricalTransformer and Collection voltageRatingSecondary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 30479-30484	memberMeasure Collection, MeasurementAttribute and Quantity instance Collection and Set member Physical and Collection width Physical and Quantity
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 30586-30591	memberMeasure Class, ApproximateDiameter and LengthMeasure instance Class and Class instance SelfConnectedObject and Class approximateDiameter SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 30608-30613	memberMeasure Class, Area and AreaMeasure instance Class and Class instance Region and Class totalArea Region and AreaMeasure
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 30519-30524	memberMeasure Class, Circumfrence and LengthMeasure instance Class and Class instance Circle and Class circumfrence Circle and LengthMeasure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 30564-30569	memberMeasure Class, Diameter and LengthMeasure instance Class and Class instance Circle and Class diameter Circle and LengthMeasure
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q))	Mid-level-ontology.kif 30716-30723	memberMeasure Class, Frequency and TimeDuration instance Class and Class instance Agent and Class instance Process and Process agent Process and Agent frequency Process and TimeDuration
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 30453-30458	memberMeasure Class, Length and Quantity instance Class and Class instance Physical and Class length Physical and Quantity
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 30746-30751	memberMeasure Class, TransformerCapacity and FunctionQuantity instance Class and Class instance ElectricalTransformer and Class transformerCapacity ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 30630-30635	memberMeasure Class, VoltageRatingPrimary and FunctionQuantity instance Class and Class instance ElectricalTransformer and Class voltageRatingPrimary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 30673-30678	memberMeasure Class, VoltageRatingSecondary and FunctionQuantity instance Class and Class instance ElectricalTransformer and Class voltageRatingSecondary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 30498-30503	memberMeasure Class, Width and LengthMeasure instance Class and Class instance SelfConnectedObject and Class height SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 30472-30477	memberMeasure Class, Width and Quantity instance Class and Class instance Physical and Class width Physical and Quantity

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

KB Term:			Term intersection

English Word: