Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Belt
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Belt Clothing) | Mid-level-ontology.kif 6163-6163 | Belt is a subclass of clothing |
| (documentation Belt EnglishLanguage "A piece of Clothing that is worn around the waist to restrain another piece of clothing.") | Mid-level-ontology.kif 6164-6165 | Belt is a subclass of clothing |
| (externalImage Belt "http://articulatesoftware.com/SUMOpictures/clothes/ accessories/ belt.png") | pictureList.kif 273-273 | Belt is a subclass of clothing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C)))) |
Mid-level-ontology.kif 6167-6175 | If X wears Y and Y is an instance of belt, then there exists Z such that Z is an instance of clothing, X wears Z, and Y meets Z |
| consequent |
|
|
| (=> (and (instance ?IC IhramClothing) (wears ?IC ?M) (attribute ?M Male)) (exists (?C ?B ?S) (and (instance ?C Cloak) (instance ?B Belt) (instance ?S Sandal) (member ?C ?IC) (member ?B ?IC) (member ?S ?IC)))) |
ArabicCulture.kif 151-163 | If X is an instance of ihram clothing, X wears Y, and male is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of cloak (3) W is an instance of belt (4) V is an instance of sandal (5) Z is a member of X (6) W is a member of X (7) V is a member of X |
|
