No TPTP formula. May not be expressible in strict first order. |
Merge.kif 787-787 |
分派函数 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2933-2933 |
表列函数 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27232-27232 |
缩写 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 852-852 |
accessibleFromMenu 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1138-1138 |
accessibleFromMenuItem 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3033-3033 |
acronym 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29961-29961 |
buys 的 3 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2266-2266 |
codeMapping 的 3 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18366-18366 |
注释 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3992-3992 |
赋予规范 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17455-17455 |
授予执行任务 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17434-17434 |
赋予权利 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1080-1080 |
contestEntry 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27215-27215 |
传统的长名 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27227-27227 |
传统的短名称 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13714-13714 |
creator 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2655-2655 |
crossFunctionalTeamFocus 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4014-4014 |
剥夺了规范 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2445-2445 |
终点 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 369-369 |
文档 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5414-5414 |
元素 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 677-677 |
externalImage 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 381-381 |
格式 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3289-3289 |
fullName 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3303-3303 |
fullNameIndexOrder 的 2 数量 是 实体 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |