No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3635-3642 |
customerRepresentative agent cognitif, agent cognitif and organisation processus processus est une instance de financial transaction organisation emploie agent cognitif processus est un agent de agent cognitif processus aboutit � agent cognitif |
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 |