memberMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30999-31002
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31007-31007	The number 1 argument of member measure is an instance of class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31008-31008	The number 2 argument of member measure is an instance of measurement attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31009-31009	The number 3 argument of member measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30998-30998	member measure is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31004-31005
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65873-65873

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31018-31023	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31025-31030	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31316-31323	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31179-31184	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31112-31117	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 circle is an element of the set, then circumfrence the circle and the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31157-31162	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 circle is an element of the set, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31091-31096	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31060-31065	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31011-31016	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31208-31213	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31348-31353	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31230-31235	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31273-31278	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31079-31084	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31186-31191	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31215-31220	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31119-31124	If members of a class have the measure a length measure in terms of Circumfrence and the class is an instance of class and a circle is an instance of the class, then circumfrence the circle and the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31164-31169	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and a circle is an instance of the class, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31325-31332	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31053-31058	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31355-31360	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31237-31242	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31280-31285	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31098-31103	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31072-31077	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: