subclass |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 208-212 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 178-182 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 229-233 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9561-9574 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16905-16909 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3392-3396 | |
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. | Sports.kif 1040-1047 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24195-24206 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
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. | Mid-level-ontology.kif 8293-8302 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 324-330 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 339-343 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 351-357 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6393-6404 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21036-21043 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21089-21101 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21066-21080 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4025-4038 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4481-4492 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18896-18901 |
|
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14705-14709 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |