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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Planer
Planer(planer)carpenter's_plane, plane, planer, planing_machine, woodworking_plane

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 is a subclass of cutting device
(subclass Planer Machine) Economy.kif 6013-6013 Planer is a subclass of 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

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


(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
            (and
                (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

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


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


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