| 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 31023-31026 | |
| (domain memberMeasure 1 Class) | Mid-level-ontology.kif 31031-31031 | |
| (domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 31032-31032 | |
| (domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 31033-31033 | |
| (instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 31022-31022 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2") | Mid-level-ontology.kif 31028-31029 | |
| (termFormat EnglishLanguage memberMeasure "member measure") | domainEnglishFormat.kif 65875-65875 |
| antecedent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 31042-31047 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 31049-31054 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31348-31355 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 31211-31216 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 31136-31141 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 31189-31194 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 31115-31120 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 31084-31089 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 31035-31040 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 31240-31245 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 31380-31385 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 31262-31267 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31305-31310 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 31103-31108 | |
| (=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 31218-31223 | |
| (=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 31247-31252 | |
| (=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 31143-31148 | |
| (=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 31196-31201 | |
| (=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31357-31364 | |
| (=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 31077-31082 | |
| (=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 31387-31392 | |
| (=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 31269-31274 | |
| (=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31312-31317 | |
| (=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 31122-31127 | |
| (=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 31096-31101 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners