No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4741-4741 | BoardOrBlock est une sous-classe de artefact |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1266-1266 | WaterBoard est une sous-classe de BoardOrBlock |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4750-4750 | Brick est une sous-classe de BoardOrBlock |
![]() |