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


KB Term:  Term intersection
English Word: 

  Oar

 Sigma KEE - Oar
Oar(oar)
boat_paddle, paddle, scull, sweep, sweep_oar

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


(subclass Oar TransportationDevice) Mid-level-ontology.kif 17060-17060 Oar is a subclass of transportation device
(documentation Oar EnglishLanguage "A Device consisting of a flat, broad surface attached to a handle that is used as an instrument in Rowing.") Mid-level-ontology.kif 17061-17062 Oar is a subclass of transportation device
(externalImage Oar "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fc/ Croker_Sculling_Oars.jpg/ 150px_Croker_Sculling_Oars.jpg") pictureList.kif 1201-1201 Oar is a subclass of transportation device

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


(termFormat EnglishLanguage Oar "oar") domainEnglishFormat.kif 41499-41499
(termFormat ChineseTraditionalLanguage Oar "槳") domainEnglishFormat.kif 41500-41500
(termFormat ChineseLanguage Oar "桨") domainEnglishFormat.kif 41501-41501

antecedent
-------------------------


(=>
    (instance ?O Oar)
    (hasPurpose ?O
        (exists (?R)
            (and
                (instance ?R Rowing)
                (instrument ?R ?O)))))		 Mid-level-ontology.kif 17064-17070 If X is an instance of oar, then X has the purpose there exists Y such that Y is an instance of rowing and X is an instrument for Y

consequent
-------------------------


(=>
    (instance ?R Rowing)
    (exists (?O)
        (and
            (instance ?O Oar)
            (instrument ?R ?O))))		 Mid-level-ontology.kif 19680-19685 If X is an instance of rowing, then there exists Y such that Y is an instance of oar and Y is an instrument for X


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