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. |
Mid-level-ontology.kif 16199-16211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23827-23844 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7823-7827 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23855-23858 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2974-2986 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2998-3010 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 47-50 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15676-15679 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3481-3484 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 94-97 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2104-2124 |
- If a process is an instance of currency exchange,
- then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , an agent,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the agent is an agent of the process and the other entity is not equal to the fourth entity and the entity is an instance of currency measure and the third entity is an instance of currency measure and value of the fifth entity is the entity and the agent possesses the fifth entity and the entity is equal to the seventh entity the other entity(s) holds during the beginning of the time of existence of the process and value of the sixth entity is the third entity and the agent possesses the sixth entity and the agent doesn't possess the fifth entity and the third entity is equal to the eighth entity the fourth entity(s) holds during the end of the time of existence of the process
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11879-11884 |
|