No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2335-2340 |
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 4425-4442 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4244-4250 |
|
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 2284-2292 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2411-2420 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2347-2369 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7236-7241 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11599-11606 |
|
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 3556-3567 |
|
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 16384-16392 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25221-25228 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25087-25094 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3500-3505 |
|
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 16752-16763 |
|
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 16452-16459 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |