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 27149-27149 |
缩写 的 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 29878-29878 |
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 18336-18336 |
注释 的 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 17425-17425 |
授予执行任务 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17404-17404 |
赋予权利 的 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 27132-27132 |
传统的长名 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27144-27144 |
传统的短名称 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13686-13686 |
creator 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2663-2663 |
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 |