No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2321-2326 |
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 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 546-561 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4257-4263 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3188-3198 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2270-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2397-2406 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7269-7274 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11647-11654 |
|
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 3543-3554 |
|
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 16514-16522 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25158-25165 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25007-25014 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3528-3533 |
|
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 381-388 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16882-16893 |
|
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 16582-16589 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |