Saddle(saddle)![]() | ![]() | English_cavalry_saddle, English_saddle, Western_saddle, packsaddle, saddle, sidesaddle, stock_saddle |
appearance as argument number 1 |
![]() |
(documentation Saddle EnglishLanguage "A Device which allows a Human to ride on a Horse.") | Mid-level-ontology.kif 4389-4390 | |
(externalImage Saddle "http://articulatesoftware.com/SUMOpictures/recreation/ saddle.png") | pictureList.kif 702-702 | |
(subclass Saddle Holder) | Mid-level-ontology.kif 4388-4388 | Saddle is a subclass of holder |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Saddle "鞍") | domainEnglishFormat.kif 50802-50802 | |
(termFormat ChineseTraditionalLanguage Saddle "鞍") | domainEnglishFormat.kif 50801-50801 | |
(termFormat EnglishLanguage Saddle "saddle") | domainEnglishFormat.kif 50800-50800 |
antecedent |
![]() |
(=> (instance ?SADDLE Saddle) (exists (?RIDE) (capability (KappaFn ?RIDE (exists (?HUMAN ?HORSE) (and (instance ?RIDE Carrying) (patient ?RIDE ?HUMAN) (instance ?HUMAN Human) (agent ?RIDE ?HORSE) (instance ?HORSE Horse)))) instrument ?SADDLE))) |
Mid-level-ontology.kif 4392-4403 |
|
![]() |
![]() |