No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15701-15702 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6890-6890 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7986-7986 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7979-7979 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7974-7974 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7982-7982 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7980-7980 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7975-7975 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7984-7984 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7976-7976 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7988-7988 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7987-7987 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7981-7981 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7978-7978 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7985-7985 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7977-7977 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7983-7983 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15700-15700 |
SportsGround est une sous-classe de artefact stationnaire |