| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4736-4736 | 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 4745-4745 | Brick est une sous-classe de BoardOrBlock |
|
|