Score(score)![]() | ![]() | bull's_eye, goal, hit, own_goal, slam-dunk |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18432-18432 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1970-1970 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18431-18431 | Score is a subclass of game shot |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 715-715 | Baseball run is a subclass of score |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 859-859 | Football touchdown is a subclass of score |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51601-51601 | Football touchdown is a subclass of score |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51600-51600 | Football touchdown is a subclass of score |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51599-51599 | Football touchdown is a subclass of score |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18438-18450 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18427-18429 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1710-1716 |
|
![]() |
![]() |