TreeView Knowledge Base Browser - Drought

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 2467-2469
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 2466-2466	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 20496-20496
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20495-20495
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20494-20494

antecedent

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

Weather.kif 2471-2482

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 6302-6312	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 6286-6293	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 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