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. |
Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12158-12164 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1876-1888 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3449-3460 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4451-4461 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3665-3678 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5369-5379 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12963-12969 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12956-12961 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25828-25840 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11971-11978 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 577-587 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1260-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 466-482 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12144-12151 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2181-2191 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2169-2179 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 872-880 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12980-12985 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13235-13241 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13006-13019 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13547-13555 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 684-690 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 56-64 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |