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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769这是关系的 Class。现有三类的 Relation: PredicateFunctionListPredicateFunction 皆表示有序的n元组...^
    VariableArityRelation12这是个没有固定数量参数的 Relation Class^
        processList.^
        contraryAttribute.contraryAttribute 是一组 Attribute ,而某一件事物不能同时拥有超过一种这个组里的 Attributes。 举例说: (contraryAttribute ...^
        exhaustiveAttribute.这个术语把一个 Class 联系到一组 Attribute, 就是说这个组的单元已经是这个 Class 所有的实例。举例说: (exhaustiveAttribute Physi...^
        exhaustiveDecomposition.C ClassexhaustiveDecomposition 是C的一组子类别, 而C的每一个实例就是这个组内其中一个子类别的一个实例。按: 这并不一定是意会着这个组的单元都不相交 (...^
        disjointDecomposition.C ClassdisjointDecomposition 是C的一组相互 disjoint 的子类别。^
        partition.C Classpartition 是一组包括C,而互不 disjoint 的类别 (一个子类别的分区)。C的每一个实例正正是这个分区子类别的一个实例。^
        AssignmentFn.如果F是一个 Function,它所代表物体的值以 N1,...,NK表示, 那么 (AssignmentFn F N1 ... NK) 就是应用F到这些物体以N1,..., NK所代表的值...^
        ListFn.这是一个可以接受任何数量的参数,然后交出含有跟哪些参数完全 相同顺序的 Function^
        GreatestCommonDivisorFn.(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER)得出 ?NUMBER1 到 ?NUMBER 的最大公约数。^
        LeastCommonMultipleFn.(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) 得出 ?NUMBER1 到 ?NUMBER 的最小公倍数。^
        LatitudeFn.^
        LongitudeFn.^

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