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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Abstract3883Properties or qualities as distinguished from any particular embodiment of the properties/qualities...^
    Proposition274Propositions are Abstract entities that express a complete thought or a set of such thoughts. A...^
        Policy13Policy is (the contents of) a type of Declaring created and enforced by an Organization such ...^
        TPFDD.The Joint Operation Planning and Execution System database portion of an operation plan, it contain...^
        MealPlan6MealPlan refers to the Meal that are included in a particular stay at a TravelerAccommodation...^
        HotelPackage1HotelPackage is a type of Proposition initiated by a hotel or travel management company that in...^
        Constitution.The class Constitution includes the bodies of abstract principles formulated to guide the laws, i...^
        RegionalLaw.RegionalLaw is the class of regional laws, considered as a body, established by particular Gove...^
        SuffrageLaw6SuffrageLaw is a class that includes the various types of suffrage rules of different Nations. ...^
        EconomicIndicator1Data which provide information about or predict the overall health of the economy or the financial ...^
        BankStatement.A monthly report sent to a debtor or bank depositor.^
        Equation10a mathematical statement that two expressions are equal.^
        ScientificLaw4A generalization based on recurring facts or events (in science or mathematics etc)^
        Catalog5a Catalog is a Proposition of the classes of resources that an agent provides or offers^
        PricingScheme.PricingScheme refers to the conditions attached to the price of a product of service^
        Music2Music refers to the conception of music - it's notes, tempo, arrangement, lyrics, etc. as thought...^
        LyricalContent.LyricalContent is the conceptual idea of Lyrics.^
        Agreement82Agreement is the class of Propositions that express the contents of agreements entered into by ...^
        ClassificationScheme13A ClassificationScheme is a conceptual structure, an abstract arrangement of concepts and the rel...^
        FieldOfStudy39An academic or applied discipline with recognized experts and with a core of accepted theory or pra...^
        Procedure61A sequence-dependent specification. Some examples are ComputerPrograms, finite-state machines, co...^
        Argument6Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises whi...^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
Columns to display:

View format: text


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners