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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Proposition

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...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2031-2038
No TPTP formula. May not be expressible in strict first order. Merge.kif 3484-3498
No TPTP formula. May not be expressible in strict first order. Merge.kif 3483-3483 Proposition is a subclass of abstract

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26261-26261 ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2391-2391 Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2389-2389 Immigration and nationality act- section219-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2386-2386 Immigration and nationality act-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16598-16598 The range of premises is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13423-13423 Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16530-16530 Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Catalog.kif 31-31 Catalog is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22195-22195 Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 633-633 Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. engineering.kif 149-149 Equation is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16487-16487 Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5522-5522 Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5717-5717 Graph element is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2698-2698 Hotel package is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13252-13252 Lyrical content is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1516-1516 Meal plan is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. engineering.kif 68-68 Model is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. engineering.kif 1265-1265 Multipole postulate is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13199-13199 Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26555-26555 Policy is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Catalog.kif 179-179 Pricing scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16495-16495 Procedure is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 848-848 Regional law is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2934-2934 The number 1 argument of document is an instance of proposition
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4375-4375 The number 2 argument of account information is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 684-684 The number 1 argument of agreement adoption date is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13533-13533 The number 1 argument of agreement clause is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 744-744 The number 1 argument of agreement effective during is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 715-715 The number 1 argument of agreement revision date is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 717-717 The number 3 argument of agreement revision date is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 766-766 The number 2 argument of capacity by arrangement is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16614-16614 The number 2 argument of conclusion is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26278-26278 The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16622-16622 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16623-16623 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1311-1311 The number 2 argument of contains information is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Geography.kif 2992-2992 The number 1 argument of date opened for signature is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6797-6797 The number 1 argument of insured is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Music.kif 1447-1447 The number 1 argument of original expressed in language is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16590-16590 The number 2 argument of premise is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Catalog.kif 165-165 The number 2 argument of proposition owner is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4502-4502 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2939-2939 The number 2 argument of reserved package is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4541-4541 The number 1 argument of sub proposition is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4542-4542 The number 2 argument of sub proposition is an instance of proposition

appearance as argument number 5
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1610-1610 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29358-29368
No TPTP formula. May not be expressible in strict first order. Catalog.kif 167-173
No TPTP formula. May not be expressible in strict first order. Geography.kif 2940-2945
No TPTP formula. May not be expressible in strict first order. Geography.kif 2947-2954
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 64-75

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16692-16698
No TPTP formula. May not be expressible in strict first order. Law.kif 223-231
No TPTP formula. May not be expressible in strict first order. Government.kif 639-647
No TPTP formula. May not be expressible in strict first order. Government.kif 649-657
No TPTP formula. May not be expressible in strict first order. Merge.kif 15165-15170
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2413-2422


Show simplified definition (without tree view)
Show simplified 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