No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30876-30879 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30884-30884 |
Le nombre 1 argument de shortage est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30886-30886 |
Le nombre 3 argument de shortage est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30887-30887 |
Le nombre 4 argument de shortage est une instance de interval temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30888-30888 |
Le nombre 5 argument de shortage est une instance de quantit� |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30885-30885 |
Le nombre 2 argument de shortage est une sous-classe de objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30882-30882 |
shortage est une instance de predicate quinternaire |