Drought - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Drought

Drought(drought)

drought, drouth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2449-2451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 399-399
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2448-2448	Drought is a subclass of weather process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20511-20511
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20510-20510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20509-20509

antecedent

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

Weather.kif 2453-2464

If a time interval is an instance of drought and the time interval is located at an object,
then there don't exist another time interval and another object such that the other time interval is an instance of raining and the other object is an instance of region and the other time interval is located at the other object and the other object and the object overlapsSpatially and the time interval overlaps the other time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6370-6380	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6354-6361	If an entity is an instance of succulent, then the statement there exists another entity such that the other entity is an instance of drought and the entity experiences the other entity and living is an attribute of the entity has the modal force of likely

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