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 31256-31259
(domain memberMeasure 1 Class)	Mid-level-ontology.kif 31264-31264	The number 1 argument of member measure is an instance of class
(domain memberMeasure 2 MeasurementAttribute)	Mid-level-ontology.kif 31265-31265	The number 2 argument of member measure is an instance of measurement attribute
(domain memberMeasure 3 Quantity)	Mid-level-ontology.kif 31266-31266	The number 3 argument of member measure is an instance of quantity
(instance memberMeasure TernaryPredicate)	Mid-level-ontology.kif 31255-31255	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 31261-31262
(termFormat EnglishLanguage memberMeasure "member measure")	domainEnglishFormat.kif 65926-65926

antecedent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact))	Mid-level-ontology.kif 31275-31280	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 31282-31287	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 31581-31588	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 31444-31449	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)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31369-31374	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 object is an element of the set, then circumfrence the object and the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31422-31427	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 object is an element of the set, then the diameter of the object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 31348-31353	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 31317-31322	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 31268-31273	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 31473-31478	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 31613-31618	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 31495-31500	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 31538-31543	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 31336-31341	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 31451-31456	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 31480-31485	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 Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31376-31381	If members of a class have the measure a length measure in terms of Circumfrence and the class is an instance of class and an object is an instance of the class, then circumfrence the object and the length measure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31429-31434	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 object is an instance of the class, then the diameter of the object 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 31590-31597	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 31310-31315	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 31620-31625	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 31502-31507	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 31545-31550	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 31355-31360	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 31329-31334	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: