causes |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1983-1991 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12313-12321 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25821-25838 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2735-2747 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8600-8610 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1582-1604 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12958-12963 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16250-16259 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5527-5535 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1523-1533 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1967-1975 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1928-1936 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 949-964 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3312-3321 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 403-410 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 425-432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29474-29485 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18795-18802 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3810-3818 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |