Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| memberMeasure |
| appearance as argument number 1 |
|
| (instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 33608-33608 | member measure is an instance of ternary predicate |
| (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 33609-33612 | member measure is an instance of ternary predicate |
| (domain memberMeasure 1 Class) | Mid-level-ontology.kif 33617-33617 | The number 1 argument of member measure is an instance of class |
| (domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 33618-33618 | The number 2 argument of member measure is an instance of measurement attribute |
| (domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 33619-33619 | The number 3 argument of member measure is an instance of quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2") | Mid-level-ontology.kif 33614-33615 | |
| (termFormat EnglishLanguage memberMeasure "member measure") | domainEnglishFormat.kif 65891-65891 |
| antecedent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 33621-33626 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the measure of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 33628-33633 | If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then W is an instance of artifact |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 33635-33640 | If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then the measure of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 33658-33663 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the length of W is Y |
| (=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 33670-33675 | If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the width of Z is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 33677-33682 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the width of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 33689-33694 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the height of W is Y |
| (=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 33696-33701 | If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the height of Z is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumference ?O ?Q)) |
Mid-level-ontology.kif 33710-33715 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then circumference W and Y |
| (=> (and (memberMeasure ?S Circumference ?Q) (instance ?S Class) (instance ?O ?S)) (circumference ?O ?Q)) |
Mid-level-ontology.kif 33717-33722 | If members of X have the measure Y in terms of Circumference, X is an instance of class, and Z is an instance of X, then circumference Z and Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 33764-33769 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the diameter of W is Y |
| (=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 33771-33776 | If members of X have the measure Y in terms of Diameter, X is an instance of class, and Z is an instance of X, then the diameter of Z is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 33786-33791 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the approximate diameter of W is Y |
| (=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 33793-33798 | If members of X have the measure Y in terms of ApproximateDiameter, X is an instance of class, and Z is an instance of X, then the approximate diameter of Z is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 33815-33820 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then Y is a total area of W |
| (=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 33822-33827 | If members of X have the measure Y in terms of Area, X is an instance of class, and Z is an instance of X, then Y is a total area of Z |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 33853-33860 | If members of X have the measure Y in terms of Z, X is an instance of set, W is an element of X, V is an instance of process, and W is an agent of V, then process occurs every Y |
| (=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 33862-33869 | If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y |
| (=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q)) |
engineering.kif 82-87 | If members of X have the measure Y in terms of length, X is an instance of class, and Z is an instance of X, then the length of Z is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
engineering.kif 604-609 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the FunctionQuantity of W is Y |
| (=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
engineering.kif 611-616 | If members of X have the measure Y in terms of Primary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
engineering.kif 647-652 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the FunctionQuantity of W is Y |
| (=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
engineering.kif 654-659 | If members of X have the measure Y in terms of Secondary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q)) |
engineering.kif 695-700 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the capacity of W is Y |
| (=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q)) |
engineering.kif 702-707 | If members of X have the measure Y in terms of Transformer Capacity, X is an instance of class, and Z is an instance of X, then the capacity of Z is Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|