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
命题
PropositionAbstract 实体, 它表达一个完整 的意思或是一套想法。例如:公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注:命题限于由 Language 的个别句子所表达的内容,这可以包括由理论、书本和甚至整个 图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObjectProposition 实一个信息,例如说猫在地毯上;但是 ContentBearingObject 是一个表达该信息的 ObjectProposition 可以有多个描述的抽象概念:字符串、声音和图标等。例如:猫在地毯上这个 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 协议Agreement 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.
 争论Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.
 银行对帐单A 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
 分类方案A ClassificationScheme is a conceptual structure, an abstract arrangement of concepts and the relations that link them.
 宪法The class Constitution includes the bodies of abstract principles formulated to guide the laws, institutions and practices of various Governments. Also see ConstitutionDocument.
 经济指标Data which provide information about or predict the overall health of the economy or the financial markets, examples are inflation, interest rates, employment, etc.
 方程a 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
 模型An abstract object that models certain aspect of a physical object, is subject to abstraction and idealization.
 多极假设One 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.
 区域法RegionalLaw 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.
 科学法A generalization based on recurring facts or events (in science or mathematics etc)
 选举法SuffrageLaw 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