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 3533-3547
No TPTP formula. May not be expressible in strict first order. Merge.kif 3532-3532 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 26807-26807 ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2406-2406 Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2404-2404 Immigration and nationality act- section219-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2401-2401 Immigration and nationality act-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16730-16730 The range of premises is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13804-13804 Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16662-16662 Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3895-3895 Bank statement 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 22722-22722 Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 647-647 Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1639-1639 Economic indicator 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 16619-16619 Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5589-5589 Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5786-5786 Graph element is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2725-2725 Hotel package is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13633-13633 Lyrical content is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1541-1541 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 13580-13580 Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27101-27101 Policy is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Catalog.kif 184-184 Pricing scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16627-16627 Procedure 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 2945-2945 The number 1 argument of document is an instance of proposition
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4410-4410 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 698-698 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 13914-13914 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 758-758 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 729-729 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 731-731 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 787-787 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 16746-16746 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 26824-26824 The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16754-16754 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16755-16755 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1348-1348 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 3003-3003 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 7097-7097 The number 1 argument of insured is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Music.kif 1453-1453 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 16722-16722 The number 2 argument of premise is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Catalog.kif 170-170 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 4569-4569 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2971-2971 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 4608-4608 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 4609-4609 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 1647-1647 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 29890-29900
No TPTP formula. May not be expressible in strict first order. Catalog.kif 172-178
No TPTP formula. May not be expressible in strict first order. Geography.kif 2958-2965
No TPTP formula. May not be expressible in strict first order. Geography.kif 2951-2956
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-76

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16824-16830
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 653-661
No TPTP formula. May not be expressible in strict first order. Government.kif 663-671
No TPTP formula. May not be expressible in strict first order. Merge.kif 15297-15302
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2410-2419


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