No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3635-3642 |
A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent |
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 |