Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  GroupOf7
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Collar Clothing) | Mid-level-ontology.kif 6202-6202 | Collar is a subclass of clothing |
| (documentation Collar EnglishLanguage "A piece of Clothing that fits around the Neck. A Collar is always part of a Coat or a Shirt.") | Mid-level-ontology.kif 6203-6204 | Collar is a subclass of clothing |
| (externalImage Collar "http://upload.wikimedia.org/wikipedia/commons/2/25/ Collar.agr.jpg") | pictureList.kif 72-72 | Collar is a subclass of clothing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 6215-6223 | If X wears Y and Y is an instance of collar, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y meets Z |
|
