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

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 3490-3504
No TPTP formula. May not be expressible in strict first order. Merge.kif 3489-3489 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 26285-26285 ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2403-2403 Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2401-2401 Immigration and nationality act- section219-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2398-2398 Immigration and nationality act-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16611-16611 The range of premises is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13427-13427 Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16543-16543 Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3834-3834 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 22219-22219 Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 645-645 Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1638-1638 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 16500-16500 Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5528-5528 Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5723-5723 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 13256-13256 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 13203-13203 Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26579-26579 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 16508-16508 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 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 696-696 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 13537-13537 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 756-756 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 727-727 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 729-729 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 16627-16627 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 26302-26302 The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16635-16635 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16636-16636 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1317-1317 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 6801-6801 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 16603-16603 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 4508-4508 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 4547-4547 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 4548-4548 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 1616-1616 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 29382-29392
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 16705-16711
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 651-659
No TPTP formula. May not be expressible in strict first order. Government.kif 661-669
No TPTP formula. May not be expressible in strict first order. Merge.kif 15178-15183
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2413-2422


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 3.0 is open source software produced by Articulate Software and its partners