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 50771-50771 | |
(termFormat ChineseTraditionalLanguage Saddle "鞍") | domainEnglishFormat.kif 50770-50770 | |
(termFormat EnglishLanguage Saddle "saddle") | domainEnglishFormat.kif 50769-50769 |
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 |
|