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 29507-29519 |
|
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 29620-29632 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12950-12957 |
|
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 12885-12890 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16933-16937 |
|
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 13148-13158 |
|
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 29474-29485 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29606-29608 |
|
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 12995-13003 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24104-24110 |
|
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 |