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 3442-3456
No TPTP formula. May not be expressible in strict first order. Merge.kif 3441-3441 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 25131-25131 ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2347-2347 Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2345-2345 Immigration and nationality act- section219-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2342-2342 Immigration and nationality act-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15750-15750 The range of premises is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11593-11593 Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15682-15682 Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3724-3724 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 20691-20691 Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 634-634 Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1581-1581 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 15639-15639 Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5347-5347 Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5518-5518 Graph element is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2672-2672 Hotel package is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11418-11418 Lyrical content is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1490-1490 Meal plan is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11365-11365 Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25472-25472 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 15647-15647 Procedure is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 849-849 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 2893-2893 The number 1 argument of document is an instance of proposition
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4332-4332 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 685-685 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 11703-11703 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 745-745 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 716-716 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 718-718 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 760-760 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 15766-15766 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 25148-25148 The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15774-15774 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15775-15775 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1255-1255 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 2951-2951 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 6796-6796 The number 1 argument of insured is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Music.kif 1446-1446 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 15742-15742 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 4426-4426 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2913-2913 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 4461-4461 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 4462-4462 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 1578-1578 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 28178-28188
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 2899-2904
No TPTP formula. May not be expressible in strict first order. Geography.kif 2906-2913
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15838-15844
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 640-648
No TPTP formula. May not be expressible in strict first order. Government.kif 650-658
No TPTP formula. May not be expressible in strict first order. Merge.kif 14328-14333
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2410-2419


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