destination |
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 16014-16020 | |
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 11104-11114 | |
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 |