No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3260-3266 |
协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 协议 是 那个 有认知的主事 的 party 协议 和 那个 另外 协议 是 那个 有认知的主事 的 party 协议 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 989-992 |
有存在 电脑程序 这样 电脑程序 是 那个 电脑程序 的执行 program 若且唯若 那个 电脑程序 有 可执行 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 411-413 |
实体 是 宽轨铁路 的 instance 若且唯若 那个 实体 有 宽规 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 469-471 |
实体 是 DualGaugeRailway 的 instance 若且唯若 那个 实体 有 双轨铁路 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 460-462 |
实体 是 窄轨铁路 的 instance 若且唯若 那个 实体 有 窄规 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 443-445 |
实体 是 标准轨距铁路 的 instance 若且唯若 那个 实体 有 标准规 的 attribute |
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 |