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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Planer

Sigma KEE - Planer
Planer

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


(documentation Planer EnglishLanguage "A Machine designed to produce a Flat surface on a wooden board.") Economy.kif 5056-5056
(subclass Planer CuttingDevice) Economy.kif 5055-5055
(subclass Planer Machine) Economy.kif 5054-5054

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


(termFormat ChineseLanguage Planer "刨床") domainEnglishFormat.kif 46009-46009
(termFormat ChineseTraditionalLanguage Planer "刨床") domainEnglishFormat.kif 46008-46008
(termFormat EnglishLanguage Planer "planer") domainEnglishFormat.kif 46007-46007

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


(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?PLANER)
                (resource ?CUT ?OBJ1)
                (instance ?OBJ1 Object)
                (material ?OBJ1 Wood)
                (result ?CUT ?OBJ2)
                (instance ?OBJ2 Object)
                (material ?OBJ2 Wood)
                (attribute ?OBJ2 Flat)
                (instance ?U UnitOfLength)
                (height ?OBJ1
                    (MeasureFn ?H1 ?U))
                (height ?OBJ2
                    (MeasureFn ?H2 ?U))
                (greaterThan ?H1 ?H2)))))
Economy.kif 5058-5077


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