No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 968-975 |
An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6231-6244 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18203-18209 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22348-22356 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 450-463 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10289-10297 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2471-2482 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8242-8247 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8298-8303 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1464-1473 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1450-1459 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5779-5798 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8249-8256 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13863-13878 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13880-13893 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8269-8279 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20426-20436 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21089-21101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21066-21080 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2558-2563 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |