No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23218-23221 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23222-23222 |
Le nombre 1 argument de workAddress est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23223-23223 |
Le nombre 2 argument de workAddress est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23216-23216 |
workAddress est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23215-23215 |
workAddress est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23217-23217 |
workAddress est une sous-relation de postContactSite |