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 4316-4317 | |
(externalImage Saddle "http://articulatesoftware.com/SUMOpictures/recreation/ saddle.png") | pictureList.kif 702-702 | |
(subclass Saddle Holder) | Mid-level-ontology.kif 4315-4315 | Saddle is a subclass of holder |
appearance as argument number 2 |
(termFormat ChineseLanguage Saddle "鞍") | domainEnglishFormat.kif 50809-50809 | |
(termFormat ChineseTraditionalLanguage Saddle "鞍") | domainEnglishFormat.kif 50808-50808 | |
(termFormat EnglishLanguage Saddle "saddle") | domainEnglishFormat.kif 50807-50807 |
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 4319-4330 |
|