![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Crane EnglishLanguage "Crane is a subclass of mechanical Devices that consist of a HoistingDevice on a moveable boom, designed to assist in moving heavy loads.") | Mid-level-ontology.kif 2424-2426 | |
(externalImage Crane "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ vehicles/ Crane_1.png") | pictureList.kif 373-373 | |
(subclass Crane MaterialHandlingEquipment) | Mid-level-ontology.kif 2423-2423 | Crane is a subclass of material handling equipment |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Crane "起重机") | domainEnglishFormat.kif 17703-17703 | |
(termFormat ChineseTraditionalLanguage Crane "起重機") | domainEnglishFormat.kif 17702-17702 | |
(termFormat EnglishLanguage Crane "crane") | domainEnglishFormat.kif 17701-17701 |
antecedent |
![]() |
(=> (instance ?C Crane) (exists (?H) (and (instance ?H HoistingDevice) (component ?H ?C)))) |
Mid-level-ontology.kif 2428-2433 |
|
![]() |
![]() |