TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Planer Machine)	Economy.kif 6435-6435	Planer is a subclass of machine
(subclass Planer CuttingDevice)	Economy.kif 6436-6436	Planer is a subclass of cutting device
(documentation Planer EnglishLanguage "A Machine designed to produce a Flat surface on a wooden board.")	Economy.kif 6437-6437	Planer is a subclass of cutting device

appearance as argument number 2

(termFormat EnglishLanguage Planer "planer")	domainEnglishFormat.kif 46019-46019
(termFormat ChineseTraditionalLanguage Planer "刨床")	domainEnglishFormat.kif 46020-46020
(termFormat ChineseLanguage Planer "刨床")	domainEnglishFormat.kif 46021-46021

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 6439-6458

If X is an instance of planer, then X has the purpose there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of cutting and X is an instrument for Y and Z is a resource for Y and Z is an instance of object and wood is made of Z and W is a result of Y and W is an instance of object and W is made of wood and flat is an attribute of W and V is an instance of unit of length and the height of Z is U V(s) and the height of W is T V(s) and U is greater than T

consequent

(=> (instance ?R RoughSawnLumber) (not (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (patient ?C ?R)))))	Economy.kif 5899-5907	If X is an instance of rough sawn lumber, then there don't exist Y, Z such that Y is an instance of cutting, Z is an instrument for Y, Z is an instance of planer, and X is a patient of Y
(=> (instance ?F FinishedLumber) (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (result ?C ?F))))	Economy.kif 5913-5920	If X is an instance of FinishedLumber, then there exist Y, Z such that Y is an instance of cutting, Z is an instrument for Y, Z is an instance of planer, and X is a result of Y

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

KB Term:			Term intersection

English Word: