| 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 13159-13164 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13158-13158 | 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 17336-17336 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1194-1194 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1605-1605 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 872-872 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 405-405 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 408-408 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2556-2556 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 824-824 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 410-410 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 444-444 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 703-703 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 893-893 | Dramatic acting is a subclass of pretending |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 409-409 | Dramatic acting is a subclass of pretending |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13166-13171 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 257-270 |
|
|
|
|