No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22530-22531 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 638-638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2273-2273 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2271-2271 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1874-1874 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2272-2272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2270-2270 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22529-22529 |
OfficeBuilding est une sous-classe de immeuble |