Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SizeAttribute(size attribute) |
| appearance as argument number 1 |
|
| (subclass SizeAttribute RelationalAttribute) | Mid-level-ontology.kif 27620-27620 | Size attribute is a subclass of relational attribute |
| (documentation SizeAttribute EnglishLanguage "SizeAttribute refers to attributes that pertain to the measure of some Object") | Mid-level-ontology.kif 27621-27622 | Size attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR SizeAttribute)) (instance ?X Object)) |
Mid-level-ontology.kif 27625-27629 | If X is an attribute of Y and X is an instance of size attribute, then Y is an instance of object |
|