No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17008-17013 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13418-13418 | Jogo e' uma sub-classe de Contest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13419-13419 | Jogo e' uma sub-classe de Recreacao ou Exercicio |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 465-465 | Chess e' uma sub-classe de Jogo |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 467-467 | Darts e' uma sub-classe de Jogo |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 469-469 | GoGame e' uma sub-classe de Jogo |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 471-471 | Poker e' uma sub-classe de Jogo |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 473-473 | Snooker e' uma sub-classe de Jogo |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 475-475 | Blackjack e' uma sub-classe de Jogo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25903-25903 | VideoGame e' uma sub-classe de Jogo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13423-13423 | Esporte e' uma sub-classe de Jogo |