Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Fireplace(fireplace)
|  | fire, fireplace, hearth, hearthstone, open_fireplace |
| appearance as argument number 1 |
|
|
| (subclass Fireplace StationaryArtifact) | Mid-level-ontology.kif 16952-16952 | Fireplace is a subclass of stationary artifact |
| (subclass Fireplace Device) | Mid-level-ontology.kif 16953-16953 | Fireplace is a subclass of device |
| (documentation Fireplace EnglishLanguage "A Device in a Building which is used for burning wood, coal, etc for heat.") | Mid-level-ontology.kif 16954-16955 | Fireplace is a subclass of device |
| (externalImage Fireplace "http://articulatesoftware.com/SUMOpictures/household/ living_room/ fireplace.png") | pictureList.kif 432-432 | Fireplace is a subclass of device |
| (externalImage Fireplace "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ The_fireplace_RS.jpg") | pictureList.kif 2818-2818 | Fireplace is a subclass of device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?F Fireplace) (hasPurpose ?F (exists (?C) (and (instance ?C Combustion) (eventLocated ?C ?F))))) |
Mid-level-ontology.kif 16957-16963 | If X is an instance of fireplace, then X has the purpose there exists Y such that Y is an instance of burning and Y is located at X |
| (=> (instance ?F Fireplace) (exists (?C) (and (instance ?C Chimney) (connected ?F ?C)))) |
Mid-level-ontology.kif 16965-16970 | If X is an instance of fireplace, then there exists Y such that Y is an instance of chimney and X is connected to Y |
| (=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B)))) |
Mid-level-ontology.kif 16972-16977 | If X is an instance of fireplace, then there exists Y such that Y is an instance of building and X is a part of Y |
|