Flat - Sigma Knowledge base Browser

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 3245-3249
(instance Flat ShapeAttribute)	Mid-level-ontology.kif 3251-3251	Flat is an instance of shape attribute

appearance as argument number 2

(subAttribute DiskShaped Flat)	ComputerInput.kif 171-171	DiskShaped is a subattribute of flat
(termFormat EnglishLanguage Flat "flat")	domainEnglishFormat.kif 4452-4452	"flat" is the printable form of flat in english language

antecedent

(=>
    (attribute ?F Flat)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (height ?F ?H)
        (greaterThan ?S1
            (MultiplicationFn 2 ?H))
        (greaterThan ?S2
            (MultiplicationFn 2 ?H))))

Mid-level-ontology.kif 3252-3261

If flat is an attribute of a self connected object,
then a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the height of the self connected object is a length measure and the other self connected object is greater than 2 and the length measure and the third self connected object is greater than 2 and the length measure

consequent

(=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat))))	Mid-level-ontology.kif 22687-22693	If a self connected object is an instance of iron, then there exists a corpuscular object such that the bottom of the self connected object is the corpuscular object and metal is made of the corpuscular object and flat is an attribute of the corpuscular object
(=> (instance ?OBJ Blackboard) (shape ?OBJ Flat))	Media.kif 1093-1095	If a physical is an instance of Blackboard, then the physical is flat
(=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat))	Media.kif 1139-1141	If a physical is an instance of OpticalDisc, then the physical is flat
(=> (instance ?OBJ PrintedSheet) (shape ?OBJ Flat))	Media.kif 1073-1075	If a physical is an instance of PrintedSheet, then the physical is flat
(=> (instance ?OBJ Whiteboard) (shape ?OBJ Flat))	Mid-level-ontology.kif 23109-23111	If a physical is an instance of whiteboard, then the physical is flat
(=> (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) (height ?OBJ1 ?H1) (height ?OBJ2 ?H2) (greaterThan ?H1 ?H2)))))	Economy.kif 4900-4916	If an object is an instance of planer, then the object has purpose there exist a process, a kind of substance and another kind of substance such that the process is an instance of cutting and the object is an instrument for the process and a kind of substance is a resource for the process and the kind of substance is an instance of object and the kind of substance is made of wood and another kind of substance is a result of the process and the other kind of substance is an instance of object and the other kind of substance is made of wood and flat is an attribute of the other kind of substance and the height of the kind of substance is a length measure and the height of the other kind of substance is another length measure and the length measure is greater than the other length measure
(=> (instance ?PROCESS (OperatingFn ComputerMouse)) (exists (?SURFACE) (and (instance ?SURFACE Object) (attribute ?SURFACE Flat) (eventLocated ?PROCESS ?SURFACE))))	QoSontology.kif 465-472	If a process is an instance of the operating of ComputerMouse, then there exists an object such that the object is an instance of object and flat is an attribute of the object and the process is located at 2
(=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat))))	Mid-level-ontology.kif 5510-5516	If an object is an instance of sandal, then there exists the objectOLE such that the objectOLE is an instance of shoe sole and the objectOLE is a part of the object and flat is an attribute of the objectOLE
(=> (instance ?TOUCHSCREEN TouchScreen) (attribute ?TOUCHSCREEN Flat))	QoSontology.kif 486-488	If an object is an instance of TouchScreen, then flat is an attribute of the object
(=> (instance ?V Veneer) (attribute ?V Flat))	Mid-level-ontology.kif 5084-5086	If an object is an instance of veneer, then flat is an attribute of the object
(=> (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 24429-24438	If an entity is an instance of easel, then the entity has purpose there exist an object and a process such that the object is an instance of artifact and flat is an attribute of the object and the process is an instance of putting and the object is a patient of the process and the process ends up at the entity
(=> (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 23775-23789	If an object is an instance of multimedia projector, then the object has purpose there exist a process, another object and an entity such that the process is an instance of radiating light and the object is an instrument for the process and the entity is a patient of the process and the entity is an instance of video recording or the entity is an instance of Image and the process ends up at the other object and the other object is an instance of artifact and flat is an attribute of the other object and the object is not connected to the other object
(=> (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))))	Mid-level-ontology.kif 24697-24714	If an object is an instance of wet bar, then there exist another object and a third object such that the other object is an instance of wash basin and the other object is a part of the object and the third object is an instance of object and flat is an attribute of the third object and the third object has purpose there exist a process and an entity such that the process is an instance of making and the entity is a result of the process and the entity is an instance of food or the entity is an instance of beverage and the process is located at 2 and the third object is a part of the object
(=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CTLN ?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 1250-1275	If the rate of rain in a geographic area during a time interval is a function quantity, then there exist a transfer, an entity,, , an object,, , a self connected object,, , another self connected object,, , a third self connected object and the transferFALL such that the transfer is an instance of raining and the transfer is located at 2 and the time of existence of the transfer takes place during the time interval and a fourth self connected object is an instance of collection and the object transferred in the transfer is the fourth self connected object and the object is an instance of water and the object is a member of the fourth self connected object and the self connected object is an instance of container and the bottom of the self connected object is the third self connected object and flat is an attribute of the third self connected object and the self connected object is located at the geographic area and container empty is an attribute of the self connected object holds during the beginning of the time interval and the fourth self connected object is located at the self connected object and the top of the fourth self connected object is the other self connected object and the depth from the other self connected object to the third self connected object is the transferFALL and the transferFALL is equal to the time interval and the function quantity holds during the end of the time interval
(=> (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 1497-1524	If the rate of snow falling at a geographic area during a time interval is a function quantity, then there exist a transfer, a self connected object,, , another self connected object,, , a third self connected object,, , a fourth self connected object and a quantity such that the transfer is an instance of snowing and the transfer is located at 2 and the time of existence of the transfer takes place during the time interval and the self connected object is an instance of snow and the object transferred in the transfer is the self connected object and the other self connected object is an instance of board or block and the bottom of the other self connected object is the fourth self connected object and flat is an attribute of the fourth self connected object and the other self connected object is located at the geographic area and there doesn't exist a physical such that the physical is an instance of object and the physical is located at the other self connected object holds during the beginning of the time interval and the self connected object is located at the other self connected object and the top of the self connected object is the third self connected object and the depth from the third self connected object to the fourth self connected object is the quantity and the quantity is equal to the time interval and the function quantity holds during the end of the time interval

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: