No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23726-23732 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23734-23734 |
Le nombre 1 argument de initiallyContainsPart est une sous-classe de objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23735-23735 |
Le nombre 2 argument de initiallyContainsPart est une sous-classe de objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23723-23723 |
initiallyContainsPart est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23724-23724 |
initiallyContainsPart est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23725-23725 |
initiallyContainsPart est reli� � l'int�rieur de SUMO � part |