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 32935-32938 | |
(domain memberMeasure 1 Class) | Mid-level-ontology.kif 32943-32943 | |
(domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 32944-32944 | |
(domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 32945-32945 | |
(instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 32934-32934 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2") | Mid-level-ontology.kif 32940-32941 | |
(termFormat EnglishLanguage memberMeasure "member measure") | domainEnglishFormat.kif 65882-65882 |
antecedent |
![]() |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 32954-32959 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 32961-32966 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 33261-33268 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 33124-33129 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumference ?O ?Q)) |
Mid-level-ontology.kif 33048-33053 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 33102-33107 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 33027-33032 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 32996-33001 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 32947-32952 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 33153-33158 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 33293-33298 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 33175-33180 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 33218-33223 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 33015-33020 | |
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 33131-33136 | |
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 33160-33165 | |
(=> (and (memberMeasure ?S Circumference ?Q) (instance ?S Class) (instance ?O ?S)) (circumference ?O ?Q)) |
Mid-level-ontology.kif 33055-33060 | |
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 33109-33114 | |
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 33270-33277 | |
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 32989-32994 | |
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 33300-33305 | |
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 33182-33187 | |
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 33225-33230 | |
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 33034-33039 | |
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 33008-33013 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |