exhaustiveAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1507-1510 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 491-495 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 71-75 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 82-86 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 489-489 | The number 2 argument of exhaustive attribute is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 488-488 | The number 1 argument of exhaustive attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 486-486 | exhaustive attribute is an instance of predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 487-487 | exhaustive attribute is an instance of variable arity relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3342-3342 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3341-3341 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3340-3340 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22768-22768 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22767-22767 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22766-22766 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 503-507 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 497-501 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 519-531 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 509-517 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18078-18078 | Living are all the attributes of animacy attribute |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 285-286 | Appraisal as avoidable consequences are all the attributes of appraisal of avoidability of consequences |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 596-598 | Appraisal as caused supernaturally are all the attributes of appraisal of causal agency |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 671-672 | Appraisal as unintended are all the attributes of appraisal of causal intent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 461-462 | Appraisal as congruent with ideals are all the attributes of appraisal of congruence with ideals |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 552-553 | Appraisal as not dangerous are all the attributes of appraisal of dangerousness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 397-398 | Appraisal as desirable consequences are all the attributes of appraisal of desirability of consequences |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 529-530 | Appraisal as expected are all the attributes of appraisal of expectedness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 314-315 | Appraisal as familiar are all the attributes of appraisal of familiarity |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 213-214 | Evaluation as important to goals are all the attributes of appraisal of goal importance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 337-338 | Appraisal as unjust treatment are all the attributes of appraisal of justice of treatment |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 495-496 | Appraisal as pleasant are all the attributes of appraisal of pleasantness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 240-241 | Appraisal as predictable are all the attributes of appraisal of predictability |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 640-642 | Appraisal as being at the centre of attention are all the attributes of appraisal of social attention |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 575-576 | Appraisal as sudden are all the attributes of appraisal of suddenness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 427-428 | Appraisal as not urgent response are all the attributes of appraisal of urgency of response |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18136-18136 | Fully formed are all the attributes of developmental attribute |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1831-1831 | High liquidity are all the attributes of liquidity attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17543-17543 | Solid are all the attributes of physical state |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1851-1851 | High risk are all the attributes of risk attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18105-18105 | Female are all the attributes of sex attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4069-4069 | Volcanically active are all the attributes of volcano status |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1869-1869 | High yield are all the attributes of yield attribute |