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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Proposition423Propositions are Abstract entities that express a complete thought or a set of such thoughts. A...^
    Agreement85Agreement is the class of Propositions that express the contents of agreements entered into by ...^
        LicenseAgreement.^
        InternationalAgreement.InternationalAgreement is the subclass of Agreements which are made by and between Nations.^
        FinancialAccount46A formal banking, brokerage, or business relationship established to provide for regular services, ...^
        Reservation5a Reservation is a type of Agreement between 2 agents that some resource offered by the one age...^
        Account49An agreement to provide something over a period of time in return for providing compensation, which...^

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