No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3260-3266 |
採用 協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用 協議 是 CognitiveAgent 的 party 協議 協議 是 CognitiveAgent 的 party 協議 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 989-992 |
電腦程序 ComputerProgram 是 電腦程序 的執行 program 屬性 ComputerProgram and 可執行 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 411-413 |
例 Entity and 寬軌鐵路 屬性 Entity and 寬規 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 469-471 |
例 Entity and DualGaugeRailway 屬性 Entity and 雙軌鐵路 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 460-462 |
例 Entity and 窄軌鐵路 屬性 Entity and 窄規 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 443-445 |
例 Entity and 標準軌距鐵路 屬性 Entity and 標準規 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14055-14058 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14016-14021 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17332-17345 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 476-484 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1162-1171 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 995-1000 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1165-1169 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1159-1163 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1137-1141 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1131-1135 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 501-517 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2712-2716 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2130-2143 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20823-20836 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1214-1218 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 267-272 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 260-265 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 326-331 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 63-67 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |