Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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


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 is open source software produced by Articulate Software and its partners