No TPTP formula. May not be expressible in strict first order. |
Merge.kif 787-787 |
Le nombre 2 argument de AssignmentFn est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2933-2933 |
Le nombre 1 argument de ListFn est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27232-27232 |
Le nombre 2 argument de abbreviation est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 852-852 |
Le nombre 1 argument de accessibleFromMenu est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1138-1138 |
Le nombre 1 argument de accessibleFromMenuItem est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3033-3033 |
Le nombre 2 argument de acronym est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29961-29961 |
Le nombre 3 argument de buys est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2266-2266 |
Le nombre 3 argument de codeMapping est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18366-18366 |
Le nombre 1 argument de comment est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3992-3992 |
Le nombre 1 argument de confersNorm est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17455-17455 |
Le nombre 2 argument de confersObligation est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17434-17434 |
Le nombre 2 argument de confersRight est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1080-1080 |
Le nombre 1 argument de contestEntry est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27215-27215 |
Le nombre 2 argument de conventionalLongName est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27227-27227 |
Le nombre 2 argument de conventionalShortName est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13714-13714 |
Le nombre 2 argument de creator est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2655-2655 |
Le nombre 1 argument de crossFunctionalTeamFocus est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4014-4014 |
Le nombre 1 argument de deprivesNorm est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2445-2445 |
Le nombre 2 argument de destination est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 369-369 |
Le nombre 1 argument de documentation est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5414-5414 |
Le nombre 1 argument de element est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 677-677 |
Le nombre 1 argument de externalImage est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 381-381 |
Le nombre 2 argument de format est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3289-3289 |
Le nombre 2 argument de fullName est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3303-3303 |
Le nombre 2 argument de fullNameIndexOrder est une instance de entit� |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |