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 12136-12142 |
|
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 12941-12947 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12934-12939 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25840-25852 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11949-11956 |
|
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 12122-12129 |
|
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 12958-12963 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13213-13219 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12984-12997 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13525-13533 |
|
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 |