Skiing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Skiing

Skiing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1063-1064
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1062-1062	Skiing e' uma sub-classe de Esporte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1076-1076	CrossCountrySkiing e' uma sub-classe de Skiing
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1065-1065

antecedent

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

Sports.kif 1067-1074

Processo e' uma instancia de Skiing
ProcessoS Processo Processo e' uma instancia de Transporte Processo e' um sub-processo de Processo ProcessoS e' um instrumento para Processo ProcessoS e' uma instancia de SnowSki

consequent

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

Sports.kif 1094-1101

Objeto e' uma instancia de SkiingFacility
Objeto Processo Objeto e' uma instancia de SlopedArea Objeto e' uma &parte de Objeto Processo e' uma instancia de Skiing eventLocated Processo and Objeto

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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