WeatherAssessment - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WeatherAssessment

WeatherAssessment(weather assessment)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3171-3172
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3173-3173	Weather assessment is internally related to weather threat
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3170-3170	Weather assessment is a subclass of report

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3191-3191	Weather forecast is internally related to weather assessment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 66030-66030	Weather forecast is internally related to weather assessment

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 3175-3186

If a content bearing physical is an instance of weather assessment,
then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is an instance of reasoning and the other entity is an instance of cognitive agent and the other entity is an agent of the entity and the third entity is an instance of weather process and the third entity is a patient of the entity and the content bearing physical is a result of the entity and the time of existence of the third entity happens earlier than the time of existence of the content bearing physical

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