Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - weatherThreat
weatherThreat

appearance as argument number 1
-------------------------


(instance weatherThreat QuaternaryPredicate) Weather.kif 4492-4492 weather threat is an instance of quaternary predicate
(documentation weatherThreat EnglishLanguage "A weatherThreat is a Relation linking 4 arguments. (weatherThreat ?WP ?P ?A ?TI) means it is believed that an instance of a class of WeatherProcess ?WP will occur in GeographicArea ?A during TimeInterval ?TI and it is not desirable to a GroupOfPeople that it happens.") Weather.kif 4493-4496 weather threat is an instance of quaternary predicate
(domainSubclass weatherThreat 1 WeatherProcess) Weather.kif 4497-4497 The number 1 argument of weather threat is a subclass of weather process
(domain weatherThreat 2 GroupOfPeople) Weather.kif 4498-4498 The number 2 argument of weather threat is an instance of group of people
(domain weatherThreat 3 GeographicArea) Weather.kif 4499-4499 The number 3 argument of weather threat is an instance of geographic area
(domain weatherThreat 4 TimeInterval) Weather.kif 4500-4500 The number 4 argument of weather threat is an instance of timeframe

appearance as argument number 2
-------------------------


(relatedInternalConcept WeatherAssessment weatherThreat) Weather.kif 4459-4459 Weather assessment is internally related to weather threat
(relatedInternalConcept WeatherForecast weatherThreat) Weather.kif 4478-4478 Weather forecast is internally related to weather threat
(format EnglishLanguage weatherThreat "%1 is a threat to %2 located at %3 during %4") domainEnglishFormat.kif 4958-4958 Weather forecast is internally related to weather threat
(termFormat EnglishLanguage weatherThreat "weather threat") domainEnglishFormat.kif 66010-66010 Weather forecast is internally related to weather threat

antecedent
-------------------------


(=>
    (weatherThreat ?CLASS ?G ?A ?TI)
    (exists (?M)
        (believes ?M
            (exists (?I)
                (and
                    (member ?I ?G)
                    (holdsDuring ?TI
                        (exists (?WP)
                            (and
                                (instance ?WP ?CLASS)
                                (eventLocated ?WP ?A)
                                (not
                                    (wants ?I ?WP))))))))))		 Weather.kif 4502-4515 If X is a threat to Y located at Z during W, then there exists V such that V believes there exists U such that U is a member of Y, there exists T such that T is an instance of X, T is located at Z, and U doesn't want T holds during W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners