| appearance as argument number 1 |
|
| (documentation memberMeasure EnglishLanguage "A relation between a SetOrClass, a MeasureAttribute and a Quantity. It states that all members of the set or 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 30399-30402 | |
| (domain memberMeasure 1 SetOrClass) | Mid-level-ontology.kif 30407-30407 | |
| (domain memberMeasure 2 MeasurementAttribute) | Mid-level-ontology.kif 30408-30408 | |
| (domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 30409-30409 | |
| (instance memberMeasure TernaryPredicate) | Mid-level-ontology.kif 30398-30398 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage memberMeasure "members of %1 have the measure %3 in terms of %2") | Mid-level-ontology.kif 30404-30405 |
| antecedent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 30418-30423 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 30425-30430 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q)) |
Mid-level-ontology.kif 30707-30714 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 30579-30584 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 30512-30517 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 30557-30562 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 30491-30496 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 30460-30465 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 30411-30416 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 30601-30606 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 30739-30744 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 30623-30628 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 30666-30671 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 30479-30484 | |
| (=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 30586-30591 | |
| (=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 30608-30613 | |
| (=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q)) |
Mid-level-ontology.kif 30519-30524 | |
| (=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 30564-30569 | |
| (=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q)) |
Mid-level-ontology.kif 30716-30723 | |
| (=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 30453-30458 | |
| (=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 30746-30751 | |
| (=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 30630-30635 | |
| (=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 30673-30678 | |
| (=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 30498-30503 | |
| (=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 30472-30477 | |
| 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