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 30999-31002 | |
(domain memberMeasure 1 Class) | Mid-level-ontology.kif 31007-31007 | memberMeasure 的 1 数量 是 类 的 instance |
(domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 31008-31008 | memberMeasure 的 2 数量 是 MeasurementAttribute 的 instance |
(domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 31009-31009 | memberMeasure 的 3 数量 是 数量 的 instance |
(instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 30998-30998 | memberMeasure 是 三元谓语 的 instance |
appearance as argument number 2 |
(format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2") | Mid-level-ontology.kif 31004-31005 | |
(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 31018-31023 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 31025-31030 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31316-31323 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 31179-31184 |
|
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 31112-31117 |
|
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 31157-31162 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 31091-31096 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 31060-31065 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 31011-31016 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 31208-31213 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 31348-31353 |
|
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 31230-31235 |
|
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31273-31278 |
|
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 31079-31084 | |
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 31186-31191 |
|
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 31215-31220 | |
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 31119-31124 |
|
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 31164-31169 | |
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31325-31332 | |
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 31053-31058 | |
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 31355-31360 |
|
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 31237-31242 |
|
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31280-31285 |
|
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 31098-31103 | |
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 31072-31077 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |