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

Formal Language: 



Relation: subrelation

direct-childrendocumentationgraph
    part27这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一...^
        geneticSubstrateOfVirus.^
        pathInSystem1^
        half.^
        third.^
        quarter.^
        most.^
        inString.^
        subString5^
        properPart8(properPart ?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个 TransitiveRelation 和 Asymme...^
        piece.这是对 Substance 某些部分的一个专业常识概念。类似的同意词 有：块、大块、小块等。可参考比较 part 的另外一个子关系 component 。^
        component1这是对复合物各个不同部分的一个专业常识概念。 (component ?COMPONENT ?WHOLE) 的意思是 ?COMPONENT 是 ?WHOLE 的组件。 组件的例子包括房子的门 和墙...^
        interiorPart.(interiorPart ?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分，而 ?OBJ1 和 ?OBJ2 的任何 superficialPart 之间并没有重叠的部分...^
        physicalEnd.^

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