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 30376-30384 |
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 1588-1594 |
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 13970-13976 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13961-13968 |
|
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 13949-13959 |
|
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 223-230 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4371-4380 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 757-776 |
|
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 17217-17230 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 286-297 |
|
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 20434-20456 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30068-30077 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30079-30089 |
|
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. |
Hotel.kif 684-695 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1132-1152 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 130-150 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |