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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Abstract6442这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。^
    List12每个 List 是项目一个独特有序的n元组。 一般来说,List 是由 ListFn Function 来造成的,它可以接受任何数量的参数,然后交出一个有相同顺序项目的 List...^
        MeasuringList1MeasuringList 是一系列,在一个串列 (List)上的量度 Measuring 过程 Processe。^
        MeasuringResultList.MeasuringResultList 是一个(多少) Quantity 的(串列)List,它包含相关一连串(量度过程)Measuring &Processe 的结果 &resul...^
        NumberList.NumberList 是一个(数字) Number (串列) List^
        ConsecutiveTimeIntervalList.ConsecutiveTimeIntervalListList (表列) 一系列连续的TimeIntervals(时间间隔) 。^
        SRPResults.^
        Album.^
        MusicChart2^
        UniqueList.这个 List 里的没有一个项目是出现超过一次的,也就是说 这是一个没有不同数字 ?NUMBER1 和 ?NUMBER2 的 List,使得(ListOrderFn ?LIST ?NUM...^

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