Saddle![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Saddle EnglishLanguage "A Device which allows a Human to ride on a Horse.") | Mid-level-ontology.kif 4766-4767 | |
(externalImage Saddle "http://articulatesoftware.com/SUMOpictures/recreation/ saddle.png") | pictureList.kif 702-702 | |
(subclass Saddle Holder) | Mid-level-ontology.kif 4765-4765 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Saddle "鞍") | domainEnglishFormat.kif 50773-50773 | |
(termFormat ChineseTraditionalLanguage Saddle "鞍") | domainEnglishFormat.kif 50772-50772 | |
(termFormat EnglishLanguage Saddle "saddle") | domainEnglishFormat.kif 50771-50771 |
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 4769-4780 |
![]() |
![]() |