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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Golf
Golf(golf)
clock_golf, golf, golf_game, golfing, professional_golf, round, round_of_golf

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 890-892
No TPTP formula. May not be expressible in strict first order. pictureList.kif 468-468
No TPTP formula. May not be expressible in strict first order. Sports.kif 889-889 Golf is a subclass of sport

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26220-26220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26219-26219
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26218-26218

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 940-945
No TPTP formula. May not be expressible in strict first order. Sports.kif 894-901

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 416-418
No TPTP formula. May not be expressible in strict first order. Sports.kif 923-929
No TPTP formula. May not be expressible in strict first order. Sports.kif 908-916
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2810-2812


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