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


KB Term:  Term intersection
English Word: 

  Saddle

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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