No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7674-7675 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 505-505 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6617-6617 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8526-8526 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 115-115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7087-7087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9307-9307 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7088-7088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7673-7673 |
HospitalBuilding est une sous-classe de TemporaryResidence |