No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24634-24636 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24637-24637 |
Le nombre 1 argument de canonicalPlaceName est une instance de r�gion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24638-24638 |
Le nombre 2 argument de canonicalPlaceName est une instance de langage |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24639-24639 |
Le nombre 3 argument de canonicalPlaceName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24633-24633 |
canonicalPlaceName est une instance de pr�dicat ternaire |