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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Planer

appearance as argument number 1

(documentation Planer EnglishLanguage "A Machine designed to produce a Flat surface on a wooden board.") Economy.kif 6015-6015
(subclass Planer CuttingDevice) Economy.kif 6014-6014 Planer est une sous-classe de CuttingDevice
(subclass Planer Machine) Economy.kif 6013-6013 Planer est une sous-classe de machine

appearance as argument number 2

(termFormat ChineseLanguage Planer "刨床") domainEnglishFormat.kif 46026-46026
(termFormat ChineseTraditionalLanguage Planer "刨床") domainEnglishFormat.kif 46025-46025
(termFormat EnglishLanguage Planer "planer") domainEnglishFormat.kif 46024-46024


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


    (instance ?F FinishedLumber)
    (exists (?C ?P)
            (instance ?C Cutting)
            (instrument ?C ?P)
            (instance ?P Planer)
            (result ?C ?F))))
Economy.kif 5562-5569
    (instance ?R RoughSawnLumber)
        (exists (?C ?P)
                (instance ?C Cutting)
                (instrument ?C ?P)
                (instance ?P Planer)
                (patient ?C ?R)))))
Economy.kif 5548-5556

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