modalAttribute |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3972-3986 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3988-4002 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13188-13192 |
|
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. | Medicine.kif 2725-2733 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8624-8635 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2681-2697 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2512-2528 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2489-2505 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2704-2719 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1646-1654 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22426-22433 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1626-1634 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16227-16239 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5749-5759 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1614-1622 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4187-4195 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4210-4220 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1664-1676 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9539-9544 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18291-18301 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |