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 | Die Zahl 1 Argument von memberMeasure ist ein fall von Class %n{nicht} |
(domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 31008-31008 | Die Zahl 2 Argument von memberMeasure ist ein fall von MeasurementAttribute %n{nicht} |
(domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 31009-31009 | Die Zahl 3 Argument von memberMeasure ist ein fall von Quantity %n{nicht} |
(instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 30998-30998 | memberMeasure ist ein fall von TernaryPredicate %n{nicht} |
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 |