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 | 详尽的属性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 488-488 | 详尽的属性 的 1 数量 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 486-486 | 详尽的属性 是 谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 487-487 | 详尽的属性 是 不定次元关系 的 instance |
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 18157-18157 | 活的 是所有的 生命度属性 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 285-286 | AppraisalAsAvoidableConsequences 是所有的 AppraisalOfAvoidabilityOfConsequences 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 596-598 | AppraisalAsCausedSupernaturally 是所有的 AppraisalOfCausalAgency 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 671-672 | AppraisalAsUnintended 是所有的 AppraisalOfCausalIntent 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 461-462 | AppraisalAsCongruentWithIdeals 是所有的 AppraisalOfCongruenceWithIdeals 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 552-553 | AppraisalAsNotDangerous 是所有的 AppraisalOfDangerousness 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 397-398 | AppraisalAsDesirableConsequences 是所有的 AppraisalOfDesirabilityOfConsequences 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 529-530 | AppraisalAsExpected 是所有的 AppraisalOfExpectedness 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 314-315 | AppraisalAsFamiliar 是所有的 AppraisalOfFamiliarity 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 213-214 | EvaluationAsImportantToGoals 是所有的 AppraisalOfGoalImportance 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 337-338 | AppraisalAsUnjustTreatment 是所有的 AppraisalOfJusticeOfTreatment 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 495-496 | AppraisalAsPleasant 是所有的 AppraisalOfPleasantness 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 240-241 | AppraisalAsPredictable 是所有的 AppraisalOfPredictability 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 640-642 | AppraisalAsBeingAtTheCentreOfAttention 是所有的 AppraisalOfSocialAttention 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 575-576 | AppraisalAsSudden 是所有的 AppraisalOfSuddenness 的 attributes |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 427-428 | AppraisalAsNotUrgentResponse 是所有的 AppraisalOfUrgency 的 attributes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18215-18215 | 完全成型 是所有的 发育属性 的 attributes |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1831-1831 | 高流动性 是所有的 流动性属性 的 attributes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17622-17622 | 固体 是所有的 物质状态 的 attributes |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1851-1851 | 高风险 是所有的 风险属性 的 attributes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18184-18184 | 女 是所有的 性别属性 的 attributes |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4069-4069 | 火山活跃 是所有的 火山状况 的 attributes |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1869-1869 | 高产 是所有的 屈服属性 的 attributes |