| 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 and Attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 488-488 | 域子類 詳盡的屬性, 1 and Attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 486-486 | 例 詳盡的屬性 and Predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 487-487 | 例 詳盡的屬性 and VariableArityRelation |
| 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 | 活的 是所有的 AnimacyAttribute 的 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 18136-18136 | 完全成型 是所有的 DevelopmentalAttribute 的 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 17543-17543 | 固體 是所有的 PhysicalState 的 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 18105-18105 | 女 是所有的 SexAttribute 的 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners