No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2329-2334 |
A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2365-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 820-841 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 526-541 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4390-4407 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4173-4179 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3195-3205 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2278-2286 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2405-2414 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2341-2363 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6933-6938 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11486-11493 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 218-226 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3547-3558 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 203-211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15958-15966 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24514-24521 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24380-24387 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3484-3489 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1176-1180 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 472-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16325-16336 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1126-1130 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1192-1196 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16026-16033 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |