TreeView Knowledge Base Browser - rainySeasonInArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

rainySeasonInArea

Sigma KEE - rainySeasonInArea

rainySeasonInArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1610-1613
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1607-1607	The number 1 argument of rainy season in area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1608-1608	The number 2 argument of rainy season in area is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1606-1606	rainy season in area is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1605-1605	rainy season in area is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2099-2099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2098-2098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2097-2097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48698-48698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48697-48697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48696-48696

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1460-1462	If mediterranean climate zone is a climate type in area of a geographic area, then winter season is a rainy season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1341-1343	If monsoon climate zone is a climate type in area of a geographic area, then there exists a kind of time interval such that a kind of time interval is a rainy season in area of the geographic area

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