No TPTP formula. May not be expressible in strict first order. |
Merge.kif 787-787 |
域 任務, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2933-2933 |
域 名單, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27232-27232 |
域 縮寫, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 852-852 |
域 accessibleFromMenu, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1138-1138 |
域 accessibleFromMenuItem, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3033-3033 |
域 acronym, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29961-29961 |
域 buys, 3 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2266-2266 |
域 codeMapping, 3 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18366-18366 |
域 comment, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3992-3992 |
域 賦予規範, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17455-17455 |
域 授予義務, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17434-17434 |
域 賦予權利, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1080-1080 |
域 contestEntry, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27215-27215 |
域 傳統的長名, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27227-27227 |
域 傳統的短名稱, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13714-13714 |
域 creator, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2655-2655 |
域 crossFunctionalTeamFocus, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4014-4014 |
域 剝奪了規範, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2445-2445 |
域 目的地, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 369-369 |
域 文件, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5414-5414 |
域 元件, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 677-677 |
域 externalImage, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 381-381 |
域 格式, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3289-3289 |
域 fullName, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3303-3303 |
域 fullNameIndexOrder, 2 and Entity |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |