Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Coat OutdoorClothing) | Mid-level-ontology.kif 6255-6255 | Coat is a subclass of outdoor clothing |
| (documentation Coat EnglishLanguage "Clothing that has sleeves and covers from the neck down. Coats are intended to be worn outdoors.") | Mid-level-ontology.kif 6256-6257 | Coat is a subclass of outdoor clothing |
| (externalImage Coat "http://upload.wikimedia.org/wikipedia/commons/9/9a/ Parka1.JPG") | pictureList.kif 71-71 | Coat is a subclass of outdoor clothing |
| (externalImage Coat "http://articulatesoftware.com/SUMOpictures/clothes/ coats/ coat.png") | pictureList.kif 354-354 | Coat is a subclass of outdoor clothing |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 6206-6213 | If X is an instance of collar, then there exists Y such that X is a part of Y and Y is an instance of coat or Y is an instance of shirt |
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 6378-6385 | If X is an instance of sleeve, then there exists Y such that X is a part of Y and Y is an instance of shirt or Y is an instance of coat |
|
