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 490-494 | |
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 488-488 | 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 487-487 | 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 485-485 | exhaustive attribute is an instance of predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 486-486 | 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 3336-3336 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3335-3335 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3334-3334 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22781-22781 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22780-22780 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22779-22779 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 502-506 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 496-500 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 518-530 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 508-516 |
|
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18163-18163 | 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 18221-18221 | 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 17628-17628 | 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 18190-18190 | Female are all the attributes of sex attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4045-4045 | 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 |
![]() |
![]() |