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 869-871
(domain cloudCoverFraction 1 Region)	Weather.kif 866-866	域雲覆蓋部分, 1 and Region
(domain cloudCoverFraction 2 NonnegativeRealNumber)	Weather.kif 867-867	域雲覆蓋部分, 2 and NonnegativeRealNumber
(instance cloudCoverFraction BinaryPredicate)	Weather.kif 865-865	例雲覆蓋部分 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 888-894	例 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 939-945	例 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 913-921	例 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 878-886	例 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 929-937	例 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 902-911	例 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