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 31426-31438 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 300-311 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31539-31551 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14281-14288 |
|
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 13039-13044 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18320-18324 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4205-4215 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14479-14489 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 324-334 |
|
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 5044-5052 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5017-5029 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4028-4041 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31393-31404 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31525-31527 |
|
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 4790-4800 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14326-14334 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25750-25756 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2768-2770 |
|
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 |