Saddle
|
|
appearance as argument number 1 |
(documentation Saddle EnglishLanguage "A Device which allows a Human to ride on a Horse.") | Mid-level-ontology.kif 4323-4324 | |
(externalImage Saddle "http://articulatesoftware.com/SUMOpictures/recreation/ saddle.png") | pictureList.kif 702-702 | |
(subclass Saddle Holder) | Mid-level-ontology.kif 4322-4322 |
appearance as argument number 2 |
(termFormat ChineseLanguage Saddle "鞍") | domainEnglishFormat.kif 50769-50769 | |
(termFormat ChineseTraditionalLanguage Saddle "鞍") | domainEnglishFormat.kif 50768-50768 | |
(termFormat EnglishLanguage Saddle "saddle") | domainEnglishFormat.kif 50767-50767 |
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 4326-4337 |