Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Saddle

appearance as argument number 1

(documentation Saddle EnglishLanguage "A Device which allows a Human to ride on a Horse.") Mid-level-ontology.kif 4812-4813
(externalImage Saddle " pictures/ recreation/ saddle.png") pictureList.kif 702-702
(subclass Saddle Holder) Mid-level-ontology.kif 4811-4811

appearance as argument number 2

(termFormat ChineseLanguage Saddle "鞍") domainEnglishFormat.kif 50763-50763
(termFormat ChineseTraditionalLanguage Saddle "鞍") domainEnglishFormat.kif 50762-50762
(termFormat EnglishLanguage Saddle "saddle") domainEnglishFormat.kif 50761-50761


    (instance ?SADDLE Saddle)
        (KappaFn ?RIDE
            (exists (?HUMAN ?HORSE)
                    (instance ?RIDE Carrying)
                    (patient ?RIDE ?HUMAN)
                    (instance ?HUMAN Human)
                    (agent ?RIDE ?HORSE)
                    (instance ?HORSE Horse)))) instrument ?SADDLE))
Mid-level-ontology.kif 4815-4825

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