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 2734-2738 | |
(instance Flat ShapeAttribute) | Mid-level-ontology.kif 2740-2740 |
appearance as argument number 2 |
![]() |
(subAttribute DiskShaped Flat) | Mid-level-ontology.kif 25000-25000 | |
(termFormat ChineseLanguage Flat "平面") | domainEnglishFormat.kif 24177-24177 | |
(termFormat ChineseTraditionalLanguage Flat "平面") | domainEnglishFormat.kif 24176-24176 | |
(termFormat EnglishLanguage Flat "flat") | domainEnglishFormat.kif 24175-24175 |
antecedent |
![]() |
(=> (attribute ?F Flat) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (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 2741-2752 |
consequent |
![]() |
(=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat)))) |
Mid-level-ontology.kif 24545-24551 | |
(=> (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 25024-25026 | |
(=> (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) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Economy.kif 5058-5077 | |
(=> (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 4960-4966 | |
(=> (instance ?TOUCHSCREEN TouchScreen) (attribute ?TOUCHSCREEN Flat)) |
QoSontology.kif 487-489 | |
(=> (instance ?V Veneer) (attribute ?V Flat)) |
Mid-level-ontology.kif 4506-4508 | |
(=> (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 26111-26120 | |
(=> (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 25619-25633 | |
(=> (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 26336-26353 | |
(=> (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 2829-2854 | |
(=> (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 3034-3061 |
![]() |
![]() |