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

Formal Language: 



KB Term: 

  Proposition

Sigma KEE - Proposition
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
命題
Proposition は、完全な思考またはそのような 考えのセットを表現する Abstract エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、 Proposition を表し、ヨージョという名前のエンティティが猫の Class の要素である 。 注: 提案は、個々の Language の文章により表現されたコンテンツに限定されない。 それらは理論、書籍、 さらには図書館全体によって表現される内容を包含するかもしれない。Proposition と  ContentBearingObject を区別することが重要である。Proposition は、猫がマット上にあるなど、 情報の一部だが、ContentBearingObject はこの情報を表す Object である。 Proposition は、 文字列、サウンド、アイコンなど、複数の表現を持つ抽象化である。 例:猫がマットの上にある Proposition が ここでは、モニターもしくは紙に印刷されて、グラフィカル文字の文字列として表示され るが、音、または非ラテン系のアルファベットまたは暗号形式によるシーケンスで表すことができる。
Relationships      
Parents 抽象的な Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.
Children AgreementAgreement is the class of Propositions that express the contents of agreements entered into by CognitiveAgents. Agreement includes treaties, contracts, purchase orders, pledges, marriage vows, etc. An Agreement may be written down in a document or other ContentBearingObject, it can be verbal Communication, it can even be an implied agreement.
 ArgumentAny proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.
 BankStatementA monthly report sent to a debtor or bank depositor.
 Cataloga Catalog is a Proposition of the classes of resources that an agent provides or offers
 ClassificationSchemeA ClassificationScheme is a conceptual structure, an abstract arrangement of concepts and the relations that link them.
 ConstitutionThe class Constitution includes the bodies of abstract principles formulated to guide the laws, institutions and practices of various Governments. Also see ConstitutionDocument.
 EconomicIndicatorData which provide information about or predict the overall health of the economy or the financial markets, examples are inflation, interest rates, employment, etc.
 Equationa mathematical statement that two expressions are equal.
 研究分野An academic or applied discipline with recognized experts and with a core of accepted theory or practice. Note that FieldOfStudy is a subclass of Proposition, because a FieldOfStudy is understood to be a body of abstract, informational content, with varying degrees of certainty attached to each element of this content.
 グラフThe Class of graphs, where a graph is understood to be a set of GraphNodes connected by GraphArcs. Note that this Class includes only connected graphs, i.e. graphs in which there is a GraphPath between any two GraphNodes. Note too that every Graph is required to contain at least two GraphArcs and three GraphNodes.
 グラフ要素Noncompositional parts of Graphs. These parts are restricted to GraphNodes and GraphArcs.
 HotelPackageHotelPackage is a type of Proposition initiated by a hotel or travel management company that includes a stay at a hotel as well as other inclusions that take advantage of a hotel's amenities
 LyricalContentLyricalContent is the conceptual idea of Lyrics.
 MealPlanMealPlan refers to the Meal that are included in a particular stay at a TravelerAccommodation
 ModelAn abstract object that models certain aspect of a physical object, is subject to abstraction and idealization.
 MultipolePostulateOne of the postulates of the multipole modeling theory.
 音楽Music refers to the conception of music - it's notes, tempo, arrangement, lyrics, etc. as thought by its composers and lyricist. Some types of Music are conceptualized with only the background instrumentation thought of, while some types of Music are conceptualized with the thought of having both lyrics and musical composition combined.
 PolicyPolicy is (the contents of) a type of Declaring created and enforced by an Organization such as a government or a business, which contains guiding principles or a plan or course of action adopted by that organization.
 PricingSchemePricingScheme refers to the conditions attached to the price of a product of service
 手順A sequence-dependent specification. Some examples are ComputerPrograms, finite-state machines, cooking recipes, musical scores, conference schedules, driving directions, and the scripts of plays and movies.
 RegionalLawRegionalLaw is the class of regional laws, considered as a body, established by particular Governments to regulate activities under their jurisdictions. For example, (RegionalLawFn UnitedStates) represents the content of the laws, statutes, and rulings of the United States.
 ScientificLawA generalization based on recurring facts or events (in science or mathematics etc)
 SuffrageLawSuffrageLaw is a class that includes the various types of suffrage rules of different Nations. Instances of SuffrageLaw represent the propositional content of various suffrage laws.
 TPFDDThe Joint Operation Planning and Execution System database portion of an operation plan, it contains time-phased force data, non-unitrelated cargo and personnel data, and movement data for the operation plan, including the following: (a) In-place units (b) Units to be deployed to support the operation plan with a priority indicating the desired sequence for their arrival at the port of debarkation (c) Routing of forces to be deployed (d) Movement data associated with deploying forces (e) Estimates of non-unit-related cargo and personnel movements to be conducted concurrently with the deployment of forces and (f) Estimate of transportation requirements that must be fulfilled by common-user lift resources as well as those requirements that can be fulfilled by assigned or attached transportation resources. Also called TPFDD. See also time-phased force and deployment data maintenance, time-phased force and deployment data refinement, time-phased force and deployment list.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


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