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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Flat
Flat

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


(documentation Flat EnglishLanguage "This ShapeAttribute describes a three dimensional Object for which two dimensions are markedly larger than the third, and the two larger dimensions also are not of markedly different lengths.") Mid-level-ontology.kif 3238-3242
(instance Flat ShapeAttribute) Mid-level-ontology.kif 3244-3244 Flat est une instance de attribut de forme

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


(subAttribute DiskShaped Flat) Mid-level-ontology.kif 27247-27247 DiskShaped est un sous-attribut de Flat
(termFormat ChineseLanguage Flat "平面") domainEnglishFormat.kif 24187-24187 DiskShaped est un sous-attribut de Flat
(termFormat ChineseTraditionalLanguage Flat "平面") domainEnglishFormat.kif 24186-24186 DiskShaped est un sous-attribut de Flat
(termFormat EnglishLanguage Flat "flat") domainEnglishFormat.kif 24185-24185 DiskShaped est un sous-attribut de Flat

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


(=>
    (attribute ?F Flat)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (height ?F
                (MeasureFn ?HF ?U))
            (height ?S1
                (MeasureFn ?H1 ?U))
            (height ?S2
                (MeasureFn ?H2 ?U))
            (greaterThan ?H1
                (MultiplicationFn 2.0 ?HF))
            (greaterThan ?H2
                (MultiplicationFn 2.0 ?HF)))))
Mid-level-ontology.kif 3245-3258

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


(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 26851-26857
(=>
    (instance ?OBJ Blackboard)
    (shape ?OBJ Flat))
Media.kif 1089-1091
(=>
    (instance ?OBJ OpticalDisc)
    (shape ?OBJ Flat))
Media.kif 1135-1137
(=>
    (instance ?OBJ PrintedSheet)
    (shape ?OBJ Flat))
Media.kif 1069-1071
(=>
    (instance ?OBJ Whiteboard)
    (shape ?OBJ Flat))
Mid-level-ontology.kif 27531-27533
(=>
    (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 6415-6434
(=>
    (instance ?PROCESS
        (OperatingFn ComputerMouse))
    (exists (?SURFACE)
        (and
            (instance ?SURFACE Object)
            (attribute ?SURFACE Flat)
            (eventLocated ?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
(=>
    (instance ?S Sandal)
    (exists (?SOLE)
        (and
            (instance ?SOLE ShoeSole)
            (part ?SOLE ?S)
            (attribute ?SOLE Flat))))
Mid-level-ontology.kif 6171-6177
(=>
    (instance ?TOUCHSCREEN TouchScreen)
    (attribute ?TOUCHSCREEN Flat))
QoSontology.kif 597-599
(=>
    (instance ?V Veneer)
    (attribute ?V Flat))
Mid-level-ontology.kif 5224-5226
(=>
    (instance ?X Easel)
    (hasPurpose ?X
        (exists (?OBJ ?PUT)
            (and
                (instance ?OBJ Artifact)
                (attribute ?OBJ Flat)
                (instance ?PUT Putting)
                (patient ?PUT ?OBJ)
                (destination ?PUT ?X)))))
Mid-level-ontology.kif 28638-28647
(=>
    (instance ?X MultimediaProjector)
    (hasPurpose ?X
        (exists (?RS ?SCREEN ?VIDEO)
            (and
                (instance ?RS RadiatingLight)
                (instrument ?RS ?X)
                (patient ?RS ?VIDEO)
                (or
                    (instance ?VIDEO VideoRecording)
                    (instance ?VIDEO Image))
                (destination ?RS ?SCREEN)
                (instance ?SCREEN Artifact)
                (attribute ?SCREEN Flat)
                (not
                    (connected ?X ?SCREEN))))))
Mid-level-ontology.kif 28128-28142
(=>
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
        (and
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                    (and
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                        (or
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))
Food.kif 331-348
(=>
    (rainfallIntensity ?AREA ?TIME ?RATE)
    (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
        (and
            (instance ?RAIN Raining)
            (eventLocated ?RAIN ?AREA)
            (during
                (WhenFn ?RAIN) ?TIME)
            (instance ?CLTN Collection)
            (objectTransferred ?RAIN ?CLTN)
            (instance ?R Water)
            (member ?R ?CLTN)
            (instance ?BUCKET Container)
            (bottom ?BOTTOM ?BUCKET)
            (attribute ?BOTTOM Flat)
            (located ?BUCKET ?AREA)
            (holdsDuring
                (BeginFn ?TIME)
                (attribute ?BUCKET ContainerEmpty))
            (holdsDuring
                (EndFn ?TIME)
                (and
                    (located ?CLTN ?BUCKET)
                    (top ?TOP ?CLTN)
                    (depth ?TOP ?BOTTOM ?RAINFALL)
                    (equal ?RAINFALL
                        (MultiplicationFn ?TIME ?RATE)))))))
Weather.kif 3516-3541
(=>
    (snowfallIntensity ?AREA ?TIME ?RATE)
    (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
        (and
            (instance ?PROCESS Snowing)
            (eventLocated ?PROCESS ?AREA)
            (during
                (WhenFn ?PROCESS) ?TIME)
            (instance ?STUFF Snow)
            (objectTransferred ?PROCESS ?STUFF)
            (instance ?BOARD BoardOrBlock)
            (bottom ?BOTTOM ?BOARD)
            (attribute ?BOTTOM Flat)
            (located ?BOARD ?AREA)
            (holdsDuring
                (BeginFn ?TIME)
                (not
                    (exists (?X)
                        (and
                            (instance ?X Object)
                            (located ?X ?BOARD)))))
            (holdsDuring
                (EndFn ?TIME)
                (and
                    (located ?STUFF ?BOARD)
                    (top ?TOP ?STUFF)
                    (depth ?TOP ?BOTTOM ?SNOWFALL)
                    (equal ?SNOWFALL
                        (MultiplicationFn ?TIME ?RATE)))))))
Weather.kif 3721-3748


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