TreeView Knowledge Base Browser - coldSeasonInArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

coldSeasonInArea

Sigma KEE - coldSeasonInArea

coldSeasonInArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1660-1662
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1657-1657	The number 1 argument of cold season in area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1658-1658	The number 2 argument of cold season in area is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1656-1656	cold season in area is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1655-1655	cold 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 476-476
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 475-475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 474-474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15548-15548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15547-15547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15546-15546

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1474-1476	If continental climate zone is a climate type in area of a geographic area, then winter season is a cold season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 399-410	If a physical is an instance of shimagh, then the physical has the purpose if there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity wears the physical holds during the other entity and the third entity is located at the fourth entity holds during the other entity and the entity is a cold season in area of the fourth entity, then the other entity takes place during the entity

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