TreeView Knowledge Base Browser - cloudCoverFraction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

cloudCoverFraction

Sigma KEE - cloudCoverFraction

cloudCoverFraction

appearance as argument number 1

(documentation cloudCoverFraction EnglishLanguage "(cloudCoverFraction ?AREA ?AMOUNT) means that in the Region ?AREA, the fraction ?AMOUNT of the sky is covered with clouds.")	Weather.kif 857-859
(domain cloudCoverFraction 1 Region)	Weather.kif 854-854	域雲覆蓋部分, 1 and Region
(domain cloudCoverFraction 2 NonnegativeRealNumber)	Weather.kif 855-855	域雲覆蓋部分, 2 and NonnegativeRealNumber
(instance cloudCoverFraction BinaryPredicate)	Weather.kif 853-853	例雲覆蓋部分 and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage cloudCoverFraction "%2 %1 %3")	domainEnglishFormat.kif 468-468
(format ChineseTraditionalLanguage cloudCoverFraction "%2 %1 %3")	domainEnglishFormat.kif 467-467
(format EnglishLanguage cloudCoverFraction "%2 is %n a cloud cover fraction of %1")	domainEnglishFormat.kif 466-466
(termFormat ChineseLanguage cloudCoverFraction "云覆盖部分")	domainEnglishFormat.kif 15294-15294
(termFormat ChineseTraditionalLanguage cloudCoverFraction "雲覆蓋部分")	domainEnglishFormat.kif 15293-15293
(termFormat EnglishLanguage cloudCoverFraction "cloud cover fraction")	domainEnglishFormat.kif 15292-15292

antecedent

(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3))	Weather.kif 876-882	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (greaterThan ?FRACTION 0.7))	Weather.kif 927-933	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7)))	Weather.kif 901-909	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7

consequent

(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3))))	Weather.kif 866-874	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThan ?FRACTION 0.7))))	Weather.kif 917-925	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))))	Weather.kif 890-899	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7

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 is open source software produced by Articulate Software and its partners