Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TropicalCyclonicSystem

 Sigma KEE - TropicalCyclonicSystem
TropicalCyclonicSystem

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 595-599
No TPTP formula. May not be expressible in strict first order. Weather.kif 590-594
No TPTP formula. May not be expressible in strict first order. Weather.kif 589-589 TropicalCyclonicSystem est une sous-classe de CyclonicStorm

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 720-720 Hurricane est une sous-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order. Weather.kif 656-656 TropicalCyclone est une sous-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order. Weather.kif 632-632 TropicalDepression est une sous-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order. Weather.kif 692-692 TropicalStorm est une sous-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order. Weather.kif 754-754 Typhoon est une sous-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order. Weather.kif 601-601
No TPTP formula. May not be expressible in strict first order. Weather.kif 600-600

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 611-630
No TPTP formula. May not be expressible in strict first order. Weather.kif 603-609


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