No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 89-103 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2309-2317 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1312-1324 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1945-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 76-84 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 44-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 778-788 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11731-11742 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11905-11916 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2477-2481 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8387-8400 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29639-29653 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 108-122 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1513-1524 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1478-1488 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15887-15900 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3543-3554 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 356-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 532-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12046-12062 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12014-12026 |
|
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. |
Mid-level-ontology.kif 16690-16702 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 119-127 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |