No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2321-2326 |
FinancialAccount e' uma instancia de FinancialAccount Agente Cognitivo possui FinancialAsset FinancialAccount e' igual a AccountFn FinancialAsset accountHolder FinancialAccount and Agente Cognitivo |
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 |