No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2338-2343 |
A financial account is an instance of financial account and a cognitive agent possesses a financial asset and equal the financial account and 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 2403-2418 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 847-868 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 548-563 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4422-4439 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4285-4291 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4094-4104 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2287-2295 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2414-2423 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2350-2372 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8430-8435 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11797-11804 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 220-228 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3561-3572 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 205-213 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17901-17909 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26820-26827 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26669-26676 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2832-2846 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2848-2863 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3971-3976 |
|
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 18269-18280 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1126-1130 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |