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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Skiing
Skiing(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 is a subclass of sport

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 1076-1076 Cross country skiing is a subclass of 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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 1094-1101


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