memberMeasure - Sigma Knowledge base Browser

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 32681-32684
(domain memberMeasure 1 Class)	Mid-level-ontology.kif 32689-32689	The number 1 argument of member measure is an instance of class
(domain memberMeasure 2 MeasurementAttribute)	Mid-level-ontology.kif 32690-32690	The number 2 argument of member measure is an instance of measurement attribute
(domain memberMeasure 3 Quantity)	Mid-level-ontology.kif 32691-32691	The number 3 argument of member measure is an instance of quantity
(instance memberMeasure TernaryPredicate)	Mid-level-ontology.kif 32680-32680	member measure is an instance of ternary predicate

appearance as argument number 2

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

antecedent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact))	Mid-level-ontology.kif 32700-32705	If members of a class have the measure a quantity in terms of a measurement attribute and the class is an instance of class and an entity is an instance of the class, then the entity is an instance of artifact
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 32707-32712	If members of a class have the measure a physical quantity in terms of a measurement attribute and the class is an instance of class and a physical is an instance of the class, then the measure of the physical is the physical quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 33007-33014	If members of a set have the measure a time duration in terms of a measurement attribute and the set is an instance of set and an agent is an element of the set and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 32870-32875	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a self connected object is an element of the set, then the approximate diameter of the self connected object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumference ?O ?Q))	Mid-level-ontology.kif 32794-32799	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an entity is an element of the set, then circumference the entity and the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 32848-32853	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an entity is an element of the set, then the diameter of the entity is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 32773-32778	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a self connected object is an element of the set, then the height of the self connected object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 32742-32747	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the length of the physical is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 32693-32698	If members of a set have the measure a physical quantity in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the measure of the physical is the physical quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 32899-32904	If members of a set have the measure an area measure in terms of a measurement attribute and the set is an instance of set and a region is an element of the set, then the area measure is a total area of the region
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 33039-33044	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the capacity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 32921-32926	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 32964-32969	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 32761-32766	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the width of the physical is the length measure
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 32877-32882	If members of a class have the measure a length measure in terms of ApproximateDiameter and the class is an instance of class and a self connected object is an instance of the class, then the approximate diameter of the self connected object is the length measure
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 32906-32911	If members of a class have the measure an area measure in terms of Area and the class is an instance of class and a region is an instance of the class, then the area measure is a total area of the region
(=> (and (memberMeasure ?S Circumference ?Q) (instance ?S Class) (instance ?O ?S)) (circumference ?O ?Q))	Mid-level-ontology.kif 32801-32806	If members of a class have the measure a length measure in terms of Circumference and the class is an instance of class and an entity is an instance of the class, then circumference the entity and the length measure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 32855-32860	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and an entity is an instance of the class, then the diameter of the entity is the length measure
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 33016-33023	If members of a class have the measure a time duration in terms of Frequency and the class is an instance of class and an agent is an instance of the class and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 32735-32740	If members of a class have the measure a length measure in terms of length and the class is an instance of class and a physical is an instance of the class, then the length of the physical is the length measure
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 33046-33051	If members of a class have the measure a function quantity in terms of Transformer Capacity and the class is an instance of class and a transformer is an instance of the class, then the capacity of the transformer is the function quantity
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 32928-32933	If members of a class have the measure a function quantity in terms of Primary Voltage Rating and the class is an instance of class and a transformer is an instance of the class, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 32971-32976	If members of a class have the measure a function quantity in terms of Secondary Voltage Rating and the class is an instance of class and a transformer is an instance of the class, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 32780-32785	If members of a class have the measure a length measure in terms of width and the class is an instance of class and a self connected object is an instance of the class, then the height of the self connected object is the length measure
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 32754-32759	If members of a class have the measure a length measure in terms of width and the class is an instance of class and a physical is an instance of the class, then the width of the physical is the length measure

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: