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 | memberMeasure の数値 1 引数は クラス の instance では |
(domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 32944-32944 | memberMeasure の数値 2 引数は MeasurementAttribute の instance では |
(domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 32945-32945 | memberMeasure の数値 3 引数は 量 の instance では |
(instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 32934-32934 | memberMeasure は 3進述語 の instance では |
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 |
![]() |
![]() |
![]() |