No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24209-24210 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24211-24211 |
Le nombre 1 argument de weddingdate est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24212-24212 |
Le nombre 2 argument de weddingdate est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24213-24213 |
Le nombre 3 argument de weddingdate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24214-24214 |
weddingdate est une instance de pr�dicat ternaire |