No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12466-12473 |
例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 655-667 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1936-1941 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1943-1948 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15515-15532 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21495-21506 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17143-17164 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2268-2277 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2332-2343 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2347-2354 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12656-12669 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12616-12629 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1326-1342 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12360-12367 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16343-16353 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17386-17397 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17427-17439 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 468-478 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16363-16373 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21395-21403 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13933-13941 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23768-23779 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23789-23800 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3076-3094 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 754-765 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |