No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8894-8900 |
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 3653-3660 |
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 32189-32197 |
Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1611-1617 |
Legal agent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15471-15477 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15462-15469 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 280-287 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15450-15460 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 229-236 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4368-4377 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 765-784 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4203-4227 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17507-17520 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 363-374 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 134-143 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22218-22240 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31855-31864 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31866-31876 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 157-176 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 688-699 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1094-1114 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |