No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7694-7700 |
An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3648-3655 |
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. |
Mid-level-ontology.kif 16722-16731 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 655-667 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 408-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20434-20456 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1261-1271 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3543-3548 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 130-150 |
|
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. |
FinancialOntology.kif 807-816 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1347-1358 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2567-2583 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11030-11040 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 437-448 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1212-1222 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 686-699 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 701-714 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 759-775 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1043-1052 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1115-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11683-11694 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |