memberMeasure |
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 30987-30990 | |
(domain memberMeasure 1 Class) | Mid-level-ontology.kif 30995-30995 | |
(domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 30996-30996 | |
(domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 30997-30997 | |
(instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 30986-30986 |
appearance as argument number 2 |
(format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2") | Mid-level-ontology.kif 30992-30993 | |
(termFormat EnglishLanguage memberMeasure "member measure") | domainEnglishFormat.kif 65873-65873 |
antecedent |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 31006-31011 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 31013-31018 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31312-31319 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 31175-31180 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 31100-31105 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 31153-31158 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 31079-31084 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 31048-31053 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 30999-31004 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 31204-31209 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 31344-31349 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 31226-31231 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31269-31274 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 31067-31072 | |
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 31182-31187 | |
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 31211-31216 | |
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 31107-31112 | |
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 31160-31165 | |
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31321-31328 | |
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 31041-31046 | |
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 31351-31356 | |
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 31233-31238 | |
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31276-31281 | |
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 31086-31091 | |
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 31060-31065 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |