holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Government.kif 721-726 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 766-772 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18728-18737 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18743-18753 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18759-18769 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18775-18785 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 367-385 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1597-1603 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20734-20743 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2112-2121 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2156-2165 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2202-2211 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1980-1989 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2277-2286 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 223-234 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1838-1860 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1862-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1500-1512 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4257-4263 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 101-111 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |