No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3635-3642 |
customerRepresentative Agente Cognitivo, Agente Cognitivo and Organizacao Processo Processo e' uma instancia de Transacao Financeira Organizacao emprega Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4486-4490 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4492-4496 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 171-177 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10740-10748 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10724-10732 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10620-10629 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16916-16923 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4614-4619 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4607-4612 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20998-21004 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11934-11946 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1883-1888 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16838-16844 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3357-3364 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22414-22419 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22965-22974 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3122-3129 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3084-3092 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2281-2292 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8544-8557 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22560-22574 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2300-2307 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |