No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3277-3283 |
An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1098-1101 |
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 dual gauge railway 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 15426-15429 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15387-15392 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17492-17505 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 469-477 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1178-1187 |
|
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 1274-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1268-1272 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1246-1250 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1240-1244 |
|
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 2729-2733 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2646-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22440-22453 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1323-1327 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 261-266 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 254-259 |
|
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 65-69 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |