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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
TransitiveRelation109一个 BinaryRelation ?REL 是传递关系 如果所有的 ?INST1， ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?I...^
SymmetricRelation38一个 BinaryRelation ?REL 属于对称关系只是 当且仅当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2) 意味着 (?REL ?INST2 ?...^
ReflexiveRelation69Relation ?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。^
    EquivalenceRelation6一个 BinaryRelation 是等价关系如果它是 一个 ReflexiveRelation、 SymmetricRelation 和TransitiveRelation。^
        relatedInternalConcept.这个意思是两个变量在SUMO是相关的概念，就是 说它们之间的含义极为相似。可以用 relatedExternalConcept 术语，来要表示一个SUMO概念和另一个出处的概念 在含义上的关系。...^
        identicalListItems.(identicalListItems ?LIST1 ?LIST2) 的意思是?LIST1 和 ?LIST2 在它们各自的列表，拥有完全相同的项目。虽然 ?LIST1 和 ?LIST2 需要共同...^
        copy.这个概念把一个 Object 和这个 Object 一摸一样地副本联系 起来，而原本和它一摸一样的副本，在所有的特性除了(可能) 空间和/或时间地位置上，是没有区别的。^
        equivalentContentClass.这是个联系两个 ContentBearingPhysical 子类别的 BinaryPredicate，(equivalentContentClass ?CLASS1 ?CLASS2) ...^
        equivalentContentInstance.这是个联系两个 ContentBearingPhysical 实例的 BinaryPredicate，(equivalentContentInstance ?OBJ1 ?OBJ2)的意思...^
        cooccur.(cooccur ?THING1 ?THING2)的意思是 Object 或 Process ?THING1 和 Object 或 Process ?THING2 同时一起发生。...^

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