No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 987-990 |
There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 411-413 |
An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 469-471 |
An entity is an instance of DualGaugeRailway if and only if the entity the attribute dual gauge railway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 460-462 |
An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 443-445 |
An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13521-13524 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13482-13487 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17072-17085 |
|
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 1170-1174 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1164-1168 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1142-1146 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1136-1140 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 629-645 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2129-2142 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 700-707 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20140-20153 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 474-484 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1219-1223 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 265-270 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 258-263 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 63-67 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1102-1107 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 979-984 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6802-6804 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |