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 2920-2920 |
表列函数 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27337-27337 |
缩写 的 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 30066-30066 |
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 18247-18247 |
注释 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3979-3979 |
赋予规范 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17340-17340 |
授予执行任务 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17319-17319 |
赋予权利 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1079-1079 |
contestEntry 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27320-27320 |
传统的长名 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27332-27332 |
传统的短名称 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13584-13584 |
creator 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2861-2861 |
crossFunctionalTeamFocus 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4001-4001 |
剥夺了规范 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2432-2432 |
终点 的 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 5400-5400 |
元素 的 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 |