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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1663The Class of relations. There are two kinds of Relation: Predicate and Function. Predicat...^
    VariableArityRelation12The Class of Relations that do not have a fixed number of arguments.^
        processList.The arguments of this relation are data structures, each of which contains the information necessar...^
        contraryAttribute.A contraryAttribute is a set of Attributes such that something can not simultaneously have more...^
        exhaustiveAttribute.This predicate relates a Class to a set of Attributes, and it means that the elements of this s...^
        exhaustiveDecomposition.An exhaustiveDecomposition of a Class C is a set of subclasses of C such that every instance of...^
        disjointDecomposition.A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.^
        partition.A partition of a Class C is a set of mutually disjoint classes (a subclass partition) which c...^
        AssignmentFn.If F is a Function with a value for the objects denoted by N1,..., NK, then (AssignmentFn F N1 ...^
        ListFn.A Function that takes any number of arguments and returns the List containing those arguments i...^
        GreatestCommonDivisorFn.(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?N...^
        LeastCommonMultipleFn.(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBE...^
        LatitudeFn.LatitudeFn is a VariableArityRelation used to denote a parallel of latitude. Examples: (Latit...^
        LongitudeFn.(LongitudeFn ?DIRECTION @ROW) denotes a meridian of longitude. Note that LongitudeFn is a Var...^

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