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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proposition
Proposition(proposition)Archimedes'_principle, Arianism, Aristotelianism, Arminianism, Arrhenius_theory_of_dissociation, Asian_shamanism, Athanasian_Creed, Athanasianism, Avogadro's_hypothesis, Avogadro's_law, Bayes'_theorem, Behmenism, Benford's_law, Bernoulli's_law, Boehmenism, Bohr_theory, Boltzmann_distribution_law, Bose-Einstein_statistics, Boyle's_law, Brahmanism, Brahminism, British_empiricism, Byzantinism, Cabala, Cabalism, Cabbala, Cabbalah, Caesaropapism, Charles's_law, Chartism, Christian_Science, Christology, Comtism, Confucianism, Congregationalism, Copernican_system, Coulomb's_Law, DNA_fingerprint, Dalton's_law, Dalton's_law_of_partial_pressures, Daoism, Darsana, Darwinism, Docetism, Einstein's_general_theory_of_relativity, Einstein's_special_theory_of_relativity, Einstein's_theory_of_relativity, Episcopalianism, Erastianism, Euclid's_axiom...

VerbNet: reflexive_appearance-48.1.2|suggest, indicate-78|imply, reflexive_appearance-48.1.2|suggest, reflexive_appearance-48.1.2|suggest,


appearance as argument number 1
-------------------------


s__documentation(s__Proposition,s__ChineseLanguage,'"PropositionAbstract 实体, 它表达一个完整 的意思或是一套想法。例如:公式 (instance Yojo Cat) 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注:命题限于由 Language 的个别句子所表达的内容,这可以包括由理论、书本和甚至整个 图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObjectProposition 实一个信息,例如说猫在地毯上;但是 ContentBearingObject 是一个表达该信息的 ObjectProposition 可以有多个描述的抽象概念:字符串、声音和图标等。例如:猫在地毯上这个 Proposition 在这里是以显示器上或者是打印在纸上的一串图形字符来表示,但是它也可以由一系列的声音或者是某些 非拉丁字母或是某些加密形式来表示。"')

chinese_format.kif 2031-2038
s__documentation(s__Proposition,s__EnglishLanguage,'"Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula (instance Yojo Cat) expresses the Proposition that the entity named Yojo is an element of the Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/ or printed on paper, but it can be represented by a sequence of sounds or by some non-latin alphabet or by some cryptographic form."')

Merge.kif 3401-3415
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__Proposition,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

Merge.kif 3400-3400 Proposition is a subclass of abstract

appearance as argument number 2
-------------------------


s__instance(s__Proposition,s__SetOrClass)

s__instance(s__AmericansWithDisabilitiesAct,s__Proposition)

Mid-level-ontology.kif 25100-25100 ADA is an instance of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__AntiterrorismAndEffectiveDeathPenaltyAct,s__Proposition)

Government.kif 2347-2347 Antiterrorism and effective death penalty act is an instance of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__ImmigrationAndNationalityAct_Section219_US,s__Proposition)

Government.kif 2345-2345 Immigration and nationality act- section219-US is an instance of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__ImmigrationAndNationalityAct_US,s__Proposition)

Government.kif 2342-2342 Immigration and nationality act-US is an instance of proposition
s__range(s__PremisesFn__m,s__Proposition)

Merge.kif 15674-15674 The range of premises is an instance of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Agreement,s__SetOrClass)

s__subclass(s__Agreement,s__Proposition)

Mid-level-ontology.kif 11566-11566 Agreement is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Argument,s__SetOrClass)

s__subclass(s__Argument,s__Proposition)

Merge.kif 15606-15606 Argument is a subclass of proposition
s__instance(s__BankStatement,s__SetOrClass)

s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__BankStatement,s__Proposition)

FinancialOntology.kif 3724-3724 Bank statement is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Catalog,s__SetOrClass)

s__subclass(s__Catalog,s__Proposition)

Catalog.kif 31-31 Catalog is a subclass of proposition
s__subclass(s__ClassificationScheme,s__Proposition)

s__instance(s__Proposition,s__SetOrClass)

s__instance(s__ClassificationScheme,s__SetOrClass)

Mid-level-ontology.kif 20660-20660 Classification scheme is a subclass of proposition
s__subclass(s__Constitution,s__Proposition)

s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Constitution,s__SetOrClass)

Government.kif 634-634 Constitution is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__EconomicIndicator,s__Proposition)

s__instance(s__EconomicIndicator,s__SetOrClass)

FinancialOntology.kif 1581-1581 Economic indicator is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__Equation,s__Proposition)

s__instance(s__Equation,s__SetOrClass)

engineering.kif 149-149 Equation is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__FieldOfStudy,s__Proposition)

s__instance(s__FieldOfStudy,s__SetOrClass)

Merge.kif 15563-15563 Field of study is a subclass of proposition
s__subclass(s__Graph,s__Proposition)

s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Graph,s__SetOrClass)

Merge.kif 5295-5295 Graph is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__GraphElement,s__SetOrClass)

s__subclass(s__GraphElement,s__Proposition)

Merge.kif 5466-5466 Graph element is a subclass of proposition
s__subclass(s__HotelPackage,s__Proposition)

s__instance(s__HotelPackage,s__SetOrClass)

s__instance(s__Proposition,s__SetOrClass)

Hotel.kif 2671-2671 Hotel package is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__LyricalContent,s__Proposition)

s__instance(s__LyricalContent,s__SetOrClass)

Mid-level-ontology.kif 11391-11391 Lyrical content is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__MealPlan,s__Proposition)

s__instance(s__MealPlan,s__SetOrClass)

Hotel.kif 1489-1489 Meal plan is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__Music,s__Proposition)

s__instance(s__Music,s__SetOrClass)

Mid-level-ontology.kif 11338-11338 Music is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Policy,s__SetOrClass)

s__subclass(s__Policy,s__Proposition)

Mid-level-ontology.kif 25439-25439 Policy is a subclass of proposition
s__subclass(s__PricingScheme,s__Proposition)

s__instance(s__Proposition,s__SetOrClass)

s__instance(s__PricingScheme,s__SetOrClass)

Catalog.kif 179-179 Pricing scheme is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__Procedure,s__Proposition)

s__instance(s__Procedure,s__SetOrClass)

Merge.kif 15571-15571 Procedure is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__RegionalLaw,s__Proposition)

s__instance(s__RegionalLaw,s__SetOrClass)

Government.kif 849-849 Regional law is a subclass of proposition
s__subclass(s__ScientificLaw,s__Proposition)

s__instance(s__Proposition,s__SetOrClass)

s__instance(s__ScientificLaw,s__SetOrClass)

engineering.kif 1239-1239 Scientific law is a subclass of proposition

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__DocumentFn__m,n__1,s__Proposition)

Geography.kif 2871-2871 The number 1 argument of document is an instance of proposition
s__domain(s__accountInformation__m,n__2,s__Proposition)

ComputingBrands.kif 4337-4337 The number 2 argument of account information is an instance of proposition
s__domain(s__agreementAdoptionDate__m,n__1,s__Proposition)

Government.kif 685-685 The number 1 argument of agreement adoption date is an instance of proposition
s__domain(s__agreementClause__m,n__1,s__Proposition)

Mid-level-ontology.kif 11676-11676 The number 1 argument of agreement clause is an instance of proposition
s__domain(s__agreementEffectiveDuring__m,n__1,s__Proposition)

Government.kif 745-745 The number 1 argument of agreement effective during is an instance of proposition
s__domain(s__agreementRevisionDate__m,n__1,s__Proposition)

Government.kif 716-716 The number 1 argument of agreement revision date is an instance of proposition
s__domain(s__agreementRevisionDate__m,n__3,s__Proposition)

Government.kif 718-718 The number 3 argument of agreement revision date is an instance of proposition
s__domain(s__capacityByArrangement__m,n__2,s__Proposition)

Hotel.kif 760-760 The number 2 argument of capacity by arrangement is an instance of proposition
s__domain(s__conclusion__m,n__2,s__Proposition)

Merge.kif 15690-15690 The number 2 argument of conclusion is an instance of proposition
s__domain(s__conforms__m,n__2,s__Proposition)

Mid-level-ontology.kif 25117-25117 The number 2 argument of conforms is an instance of proposition
s__domain(s__consistent__m,n__1,s__Proposition)

Merge.kif 15698-15698 The number 1 argument of consistent is an instance of proposition
s__domain(s__consistent__m,n__2,s__Proposition)

Merge.kif 15699-15699 The number 2 argument of consistent is an instance of proposition
s__domain(s__containsInformation__m,n__2,s__Proposition)

Merge.kif 1252-1252 The number 2 argument of contains information is an instance of proposition
s__domain(s__dateOpenedForSignature__m,n__1,s__Proposition)

Geography.kif 2929-2929 The number 1 argument of date opened for signature is an instance of proposition
s__domain(s__insured__m,n__1,s__Proposition)

Mid-level-ontology.kif 6817-6817 The number 1 argument of insured is an instance of proposition
s__domain(s__originalExpressedInLanguage__m,n__1,s__Proposition)

Music.kif 1446-1446 The number 1 argument of original expressed in language is an instance of proposition
s__domain(s__premise__m,n__2,s__Proposition)

Merge.kif 15666-15666 The number 2 argument of premise is an instance of proposition
s__domain(s__propositionOwner__m,n__2,s__Proposition)

Catalog.kif 165-165 The number 2 argument of proposition owner is an instance of proposition
s__domain(s__realization__m,n__2,s__Proposition)

Merge.kif 4371-4371 The number 2 argument of realization is an instance of proposition
s__domain(s__reservedPackage__m,n__2,s__Proposition)

Hotel.kif 2912-2912 The number 2 argument of reserved package is an instance of proposition
s__domain(s__subProposition__m,n__1,s__Proposition)

Merge.kif 4406-4406 The number 1 argument of sub proposition is an instance of proposition
s__domain(s__subProposition__m,n__2,s__Proposition)

Merge.kif 4407-4407 The number 2 argument of sub proposition is an instance of proposition

antecedent
-------------------------


( ! [V__AGENT,V__CUST,V__ITEM] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__CUST,s__CognitiveAgent))
     =>
     (s__buys(V__CUST,V__AGENT,V__ITEM)
     &
     s__instance(V__ITEM,s__Proposition))
   =>
   ( ? [V__TRANS, V__PROC] :
     ((s__instance(V__PROC,s__Process) &
         (s__agent(V__TRANS,V__CUST)
         &
         s__realization(V__PROC,V__ITEM)
       &
       s__instance(V__TRANS,s__Buying) &
       s__patient(V__TRANS,V__PROC)
     &
     s__origin(V__TRANS,V__AGENT)))))
)
)

Mid-level-ontology.kif 28145-28155
( ! [V__AGENT,V__CREATE,V__PROP] :
   (s__instance(V__AGENT,s__CognitiveAgent) =>
     (s__instance(V__CREATE,s__Creation) &
       s__result(V__CREATE,V__PROP)
     &
     s__instance(V__PROP,s__Proposition) &
     s__agent(V__CREATE,V__AGENT))
=>
s__propositionOwner(V__AGENT,V__PROP)
)
)

Catalog.kif 167-173
( ! [V__PROP] :
   ((s__instance(V__PROP,s__Proposition) &
       s__instance(s__DocumentFn(V__PROP)
    ,s__Text))
   =>
   ( ? [V__DOC] :
     ((s__instance(V__DOC,s__ContentBearingPhysical) &
         s__containsInformation(V__DOC,V__PROP))))
)
)

Geography.kif 2877-2882
( ! [V__CBO,V__COMM,V__PROP] :
   ((s__instance(V__PROP,s__Proposition) &
       s__instance(V__CBO,s__ContentBearingObject) &
       s__containsInformation(V__CBO,V__PROP)
     &
     s__instance(V__COMM,s__Communication) &
     s__patient(V__COMM,V__CBO))
=>
s__represents(V__COMM,V__PROP)
)
)

Geography.kif 2884-2891
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 684-690
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-75

consequent
-------------------------


( ! [V__ITEM,V__VALUE] :
   ((s__property(V__ITEM,V__VALUE)
     &
     s__instance(V__VALUE,s__TruthValue))
   =>
   (s__instance(V__ITEM,s__Sentence) |
     s__instance(V__ITEM,s__Proposition))
   )
)

Merge.kif 15762-15768
( ! [V__P,V__LA,V__PROP] :
   ((s__instance(V__P,s__Physical) &
       s__instance(V__LA,s__LegalAction) &
       s__instance(V__PROP,s__Proposition))
     =>
     s__evidence(V__LA,V__P)
   =>
   ( ? [V__A] :
     ((s__instance(V__PROP,s__Proposition) &
         s__instance(V__A,s__Argument) &
         s__refers(V__A,V__LA)
       &
       s__represents(V__PROP,V__P)
     &
     s__premise(V__A,V__PROP))))
)
)

Law.kif 223-231
No TPTP formula. May not be expressible in strict first order. Government.kif 640-648
No TPTP formula. May not be expressible in strict first order. Government.kif 650-658
( ! [V__SENT] :
   (s__instance(V__SENT,s__Sentence) =>
     ( ? [V__PROP] :
       ((s__instance(V__PROP,s__Proposition) &
           s__containsInformation(V__SENT,V__PROP))))
   )
)

Merge.kif 14266-14271
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2408-2417


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



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