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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Function310A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that...^
QuintaryRelation10QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPre...^
InheritableRelation1765The class of Relations whose properties can be inherited downward in the class hierarchy via the ...^
    QuaternaryFunction4The Class of Functions that require exactly four arguments.^
        SellersOtherItemsFn.(SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIMEPOINT) returns a Collection of all WebListings ...^
        StreetAddressFn.(StreetAddressFn ?BUILDING ?ROAD ?CITY ?COUNTRY) returns the AutonomousAgent, e.g. a family, an...^
        VelocityFn.Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (...^
        AccelerationFn.Specifies the acceleration of an object, i.e. the change in speed for a given direction.^

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