KB Graph : Welcome guest : log in		 [  Home |  ]  KB:  Language:   

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组...^
InheritableRelation1765这是一个 Relation 类别，它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。^
    BinaryRelation1311 BinaryRelation 是只有在关系联系两样东西的时候 才算是真，框架理论以槽代表 BinaryRelation。^
        EconomicRelation.^
        ReflexiveRelation69Relation ?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。^
        IrreflexiveRelation335Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。^
        SymmetricRelation38一个 BinaryRelation ?REL 属于对称关系只是 当且仅当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2) 意味着 (?REL ?INST2 ?...^
        AntisymmetricRelation338一个 BinaryRelation ?REL 是 AntisymmetricRelation 如果不同的 ?INST1 和 ?INST2 是(?REL ?INST1 ?INST2) 不意味着...^
        TrichotomizingRelation1一个 BinaryRelation ?REL 是 TrichotomizingRelation 万一所有有序的一对东西出现 ?REL 元素的不同个体。^
        TransitiveRelation109一个 BinaryRelation ?REL 是传递关系 如果所有的 ?INST1， ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?I...^
        IntransitiveRelation13野葛 BinaryRelation ?REL 是非传递关系 除非所有的 ?INST1， ?INST2 和 ?INST3 是 (?REL ?INST1 ?INST2) 和 (?REL ?INST2...^
        UnaryFunction191这是个需要单一一个参数的 Function Class。^
        BinaryPredicate1101这是一个联系两个项目的 Predicate - 它的配价是二。^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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