No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1211-1211 |
Distribute products is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11573-11573 |
Feeding is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 50-50 |
Food distribution operation is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11693-11693 |
Funding is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11757-11757 |
Giving back is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11724-11724 |
Lending is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11709-11709 |
Unilateral giving is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1133-1133 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1483-1483 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 811-811 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 343-343 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 346-346 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2495-2495 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 763-763 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 348-348 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 832-832 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 347-347 |
|