Agent | Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, apparition, autonomous, besieger, bogey, bogie, bogy, cacodaemon, cacodemon, causal_agency, causal_agent, cause, cause_of_death, control, demiurge, destiny, deus_ex_machina, eon, eudaemon, eudemon, fantasm, fate, first_cause, ghoul, good_spirit, harasser, hoister, incarnate, jockey, juggernaut, killer, life_principle, mascot, nature, numen, occult, phantasm, phantasma, phantom, presence, prime_mover, primum_mobile, specter, spectre, spirit... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 275-276 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 325-326 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 524-524 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 55-55 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 58-58 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2209-2209 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 476-476 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 60-60 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 91-91 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 545-545 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 59-59 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 67-78 |
|