Raining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Raining

Raining

appearance as argument number 1

(documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process，当中 Water 以 Liquid 状态下坠，雨点的 approximateDiameter 介乎 0.1-9 Millmeter。")	Weather.kif 1044-1045
(documentation Raining EnglishLanguage "Raining is a Precipitation Process in which Water falls in a Liquid state. The size of an raindrop is between 0.1-9 Millimeter in approximateDiameter. ")	Weather.kif 1040-1042
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ rain.png")	pictureList.kif 2326-2326
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ showers.png")	pictureList.kif 1946-1946
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ umbrlla_rain.png")	pictureList.kif 2325-2325
(subclass Raining Precipitation)	Weather.kif 1038-1038	Raining ist eine teilkategorie von Precipitation

appearance as argument number 2

(subclass AcidRainfall Raining)	Geography.kif 2493-2493	AcidRainfall ist eine teilkategorie von Raining
(subclass Drizzling Raining)	Weather.kif 2797-2797	Drizzling ist eine teilkategorie von Raining
(subclass HeavyRaining Raining)	Weather.kif 1103-1103	HeavyRaining ist eine teilkategorie von Raining
(subclass RainShowering Raining)	Weather.kif 2859-2859	RainShowering ist eine teilkategorie von Raining
(termFormat ChineseLanguage Raining "下雨")	domainEnglishFormat.kif 48692-48692
(termFormat ChineseLanguage Raining "降雨")	Weather.kif 1047-1047
(termFormat ChineseTraditionalLanguage Raining "下雨")	domainEnglishFormat.kif 48691-48691
(termFormat EnglishLanguage Raining "raining")	domainEnglishFormat.kif 48690-48690

antecedent

(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 2961-2966	Wenn Transfer ist ein fall von Raining %n{nicht}, dann es gibt Object um Object ist ein fall von Rain %n{nicht} und objectTransferred Transfer and ** Object
(=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid))	Weather.kif 1049-1051	Wenn WeatherProcess ist ein fall von Raining %n{nicht}, dann precipitationState ** WeatherProcess and Liquid
(=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter))))))	Weather.kif 1053-1066	Wenn Entity ist ein fall von Raining %n{nicht}, dann es gibt Entity, Entity, and und Class um Entity ist ein fall von Collection %n{nicht} und Entity ist ein fall von Water %n{nicht} und Entity ist ein fall von LiquidDrop %n{nicht} und Entity ist ein fall von ** Class %n{nicht}

consequent

(=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 2467-2478	Wenn TimeInterval ist ein fall von Drought %n{nicht} und eventLocated TimeInterval and Object, dann es gibt nicht TimeInterval und Object um TimeInterval ist ein fall von Raining %n{nicht} und Object ist ein fall von Region %n{nicht} und eventLocated TimeInterval and Object und Object deckt sich mit Object raeumlich %n{nicht} und TimeInterval deckt sich mit ** TimeInterval %n{nicht}
(=> (instance ?SHOWER RainShowering) (holdsDuring (WhenFn ?SHOWER) (exists (?RAIN1 ?RAIN2 ?AREA) (and (instance ?RAIN1 Raining) (instance ?RAIN2 Raining) (instance ?AREA Region) (subProcess ?RAIN1 ?SHOWER) (subProcess ?RAIN2 ?SHOWER) (eventLocated ?RAIN1 ?AREA) (eventLocated ?RAIN2 ?AREA) (not (overlapsTemporally (WhenFn ?RAIN1) (WhenFn ?RAIN2)))))))	Weather.kif 2861-2875	Wenn Physical ist ein fall von RainShowering %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von Raining %n{nicht} und entity ist ein fall von Raining %n{nicht} und entity ist ein fall von Region %n{nicht} und entity ist ein subProzess von Physical und entity ist ein subProzess von Physical und eventLocated entity and entity und eventLocated entity and entity und die zeit des Bestehens von entity deckt sich mit die zeit des Bestehens von entity nicht haelt waehrend die zeit des Bestehens von ** Physical %n{nicht}
(=> (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 2826-2851	Wenn rainfallIntensity GeographicArea, TimeInterval and FunctionQuantity, dann es gibt Transfer, Collection,, , Physical,, , SelfConnectedObject,, , entity,, , SelfConnectedObject, and und TransferFALL um Transfer ist ein fall von Raining %n{nicht} und eventLocated Transfer and GeographicArea und die zeit des Bestehens von Transfer geschieht waehrend TimeInterval %n{nicht} und Collection ist ein fall von Collection %n{nicht} und objectTransferred Transfer and Collection und Physical ist ein fall von Water %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und SelfConnectedObject ist ein fall von Container %n{nicht} und die unterseite von SelfConnectedObject ist SelfConnectedObject und Flat ist ein attribut von SelfConnectedObject %n{nicht} und SelfConnectedObject befindet sich an %n{nicht} und ContainerEmpty ist ein attribut von SelfConnectedObject %n{nicht} haelt waehrend der anfang von TimeInterval %n{nicht} und Collection befindet sich an %n{nicht} und die oberseite von Collection ist entity und depth entity, SelfConnectedObject and TransferFALL und TransferFALL ist gleich TimeInterval und FunctionQuantity %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}

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