No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4745-4745 |
Brick e' uma sub-classe de BoardOrBlock |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1266-1266 |
WaterBoard e' uma sub-classe de BoardOrBlock |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11441-11441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11440-11440 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11439-11439 |
|