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

Formal Language: 

Relation: subrelation

    property25This Predicate holds between an instance of Entity and an instance of Attribute. (property ...^
        environmentAttributes.(environmentAttributes ?Program ?Attribute) holds if ?Attribute is an EnvironmentSoftwareAttrib...^
        status.(status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.^
        systemBehavior.(systemBehavior ?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which descri...^
        designPattern.(designPattern ?System ?Attribute) holds if ?Attribute is a DesignPatternAttribute which descri...^
        taskRelation.(taskRelation ?System ?Attribute) holds if ?Attribute is a TaskRelationAttribute which describe...^
        formOfAdaptation.(formOfAdaptation ?System ?Attribute) holds if ?Attribute is a FormOfAdaptationAttribute which ...^
        complexity.(complexity ?System ?Attribute) holds if ?Attribute is a TimingRequirementAttribute which descr...^
        strictness.(strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the Rea...^
        shape1(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.^
        attribute10(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (a...^
        manner.(manner ?PROCESS ?MANNER) means that the Process ?PROCESS is qualified by the Attribute ?MANN...^
        truth.The BinaryPredicate that relates a Sentence to its TruthValue.^
        modalAttribute.A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ...^

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