Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
MatchDevice(match device)
|  | book_matches, friction_match, fusee, fuzee, kitchen_match, lucifer, match, safety_match, slow_match |
| appearance as argument number 1 |
|
|
| (subclass MatchDevice Device) | Mid-level-ontology.kif 2509-2509 | Match device is a subclass of device |
| (documentation MatchDevice EnglishLanguage "A small stick of carboard or wood that is treated with chemicals that can be easily ignited with friction. MatchDevices are used for starting fires.") | Mid-level-ontology.kif 2510-2512 | Match device is a subclass of device |
| (externalImage MatchDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c1/ Streichholz.jpg/ 180px_Streichholz.jpg") | pictureList.kif 1174-1174 | Match device is a subclass of device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?M MatchDevice) (capability (StartFn Combustion) instrument ?M)) |
Mid-level-ontology.kif 2514-2516 | If X is an instance of match device, then X is capable of doing the start of burning as a instrument |
|