modalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13505-13514 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13516-13527 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13467-13477 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18463-18468 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3040-3054 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2585-2603 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5409-5416 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 336-350 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
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. | ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 161-172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23916-23932 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18225-18235 | |
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. | ComputingBrands.kif 3231-3245 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2567-2583 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1545-1555 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4411-4425 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2230-2239 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |