Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Saddle
Saddle(saddle)
English_cavalry_saddle, English_saddle, Western_saddle, packsaddle, saddle, sidesaddle, stock_saddle

appearance as argument number 1
-------------------------


(subclass Saddle Holder) Mid-level-ontology.kif 4931-4931 Saddle is a subclass of holder
(documentation Saddle EnglishLanguage "A Device which allows a Human to ride on a Horse.") Mid-level-ontology.kif 4932-4933 Saddle is a subclass of holder
(externalImage Saddle "http://articulatesoftware.com/SUMOpictures/recreation/ saddle.png") pictureList.kif 702-702 Saddle is a subclass of holder

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Saddle "saddle") domainEnglishFormat.kif 50764-50764
(termFormat ChineseTraditionalLanguage Saddle "鞍") domainEnglishFormat.kif 50765-50765
(termFormat ChineseLanguage Saddle "鞍") domainEnglishFormat.kif 50766-50766

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 4935-4946 If X is an instance of saddle, then there exists Y such that X is capable of doing the class described by Y as a instrument


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners