Pretending(pretending) | Janus-faced, act, act_as, act_out, affect, affectation, affected, affectedly, affectedness, agonistic, ambidextrous, amphibious_demonstration, amplify, apelike, apery, apish, appear, appearance, artificial, assume, assumed, attitude, bad, bait, bamboozle, barratry, befool, beguile, betray, bit_part, black, blind, bluff, buffoonery, bull, bullshit, bunco, bunco_game, bunko, bunko_game, burlesque, bushel, business, buy-and-bust_operation, byplay, camouflage, card_trick, characterization, cheat, cheating... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3236-3238 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13020-13025 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13019-13019 | Pretending is a subclass of social interaction |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15949-15949 | Dramatic acting is a subclass of pretending |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1194-1194 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1605-1605 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 872-872 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 405-405 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 408-408 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2556-2556 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 824-824 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 410-410 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 444-444 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 893-893 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 409-409 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13027-13032 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 257-270 |
|