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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Predicate1424Predicate とは、Relation の各タプルが有限で 順序付けされたオブジェクトのシーケンスである文形成 Relation である。 特定のタプルが '(*述語* arg_1 ...^
BinaryRelation1311BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。^
InheritableRelation1765Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。^
    BinaryPredicate1101Predicate は2つの項目に関連する- その 価数は2である。^
        CaseRole62Predicates の Class は、Process の空間的に 区別されたパーツに関連する。CaseRoles は、例えば、作用の agentpatient または...^
        BinaryRelationExtendedToQuantities.^
        SheddingPart2^

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