TreeView Knowledge Base Browser - TropicalCyclone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TropicalCyclone

Sigma KEE - TropicalCyclone

TropicalCyclone(熱帶氣旋)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 660-661
No TPTP formula. May not be expressible in strict first order.	Weather.kif 657-659
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3020-3020
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3252-3252
No TPTP formula. May not be expressible in strict first order.	Weather.kif 656-656	子類熱帶氣旋 and TropicalCyclonicSystem

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59248-59248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59247-59247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59246-59246

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 677-690	例 Process and 熱帶氣旋目的地 Process and Physical 例 Physical and GeographicArea Object Physical and RealNumber 例 Object and LandArea 例 Physical and 海岸線位於 Physical and Object 距離 Object, Physical and 測量 RealNumber and 英里比較多 RealNumber and 200.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 665-675	例 Process and 熱帶氣旋 GeographicArea RealNumber 例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 大於或等於 RealNumber and 44.0

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 724-735	例 Entity and 颶風 Process GeographicArea and RealNumber 例 Process and 熱帶氣旋例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 大於或等於 RealNumber and 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 758-769	例 Entity and 颱風 EntityC GeographicArea and RealNumber 例 EntityC and 熱帶氣旋例 GeographicArea and GeographicArea EntityC 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean10MinutesWindSpeedFn GeographicArea and 何時 EntityC 大於或等於 RealNumber and 64.0

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