origin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2478-2486 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5561-5570 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1379-1389 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 643-661 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18621-18639 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11036-11041 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11558-11567 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1385-1391 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1419-1425 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17638-17656 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17616-17634 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 408-424 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11384-11391 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18701-18712 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18586-18594 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 326-334 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 627-646 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15984-15990 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3838-3852 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3815-3827 | |
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 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |