No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 860-865 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15992-15998 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3959-3966 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4143-4150 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4129-4136 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 415-423 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 120-135 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4697-4703 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11082-11092 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 102-121 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 834-842 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4113-4115 |
|