Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Slovakia
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BedAttribute RelationalAttribute) | Mid-level-ontology.kif 4743-4743 | Bed attribute is a subclass of relational attribute |
| (documentation BedAttribute EnglishLanguage "BedAttribute is the class of attributes attached to the type of cushion a Bed has") | Mid-level-ontology.kif 4744-4745 | Bed attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BedAttribute "bed attribute") | Mid-level-ontology.kif 4746-4746 | |
| (instance WaterBed BedAttribute) | Mid-level-ontology.kif 4754-4754 | Waterbed is an instance of bed attribute |
| antecedent |
|
|
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR BedAttribute)) (instance ?X Bed)) |
Mid-level-ontology.kif 4748-4752 | If X is an attribute of Y and X is an instance of bed attribute, then Y is an instance of bed |
|