No TPTP formula. May not be expressible in strict first order. |
emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29558-29570 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 295-306 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29671-29683 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12977-12984 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1419-1431 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12931-12936 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16960-16964 |
|
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. |
Mid-level-ontology.kif 13175-13185 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 318-328 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1012-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5037-5045 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5010-5022 |
|
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. |
Mid-level-ontology.kif 29525-29536 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29657-29659 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1025-1036 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4783-4793 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13022-13030 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24161-24167 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2757-2759 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 160-166 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 147-153 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |