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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GolfManeuver

 Sigma KEE - GolfManeuver
GolfManeuver(高尔夫演习)

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 939-939
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3108-3108
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2960-2960
No TPTP formula. May not be expressible in strict first order. Sports.kif 938-938 高尔夫演习 是 竞争招数 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 947-947 GolfDrive 是 高尔夫演习 的 subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 953-953 GolfPutt 是 高尔夫演习 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26238-26238
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26237-26237
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26236-26236

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 979-992
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 1000-1013
No TPTP formula. May not be expressible in strict first order. Sports.kif 908-916


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