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

Formal Language: 


KB Term:  Term intersection
English Word: 

  SoftwareSystem

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 3571-3585
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 673-682
No TPTP formula. May not be expressible in strict first order. Merge.kif 3570-3570 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 28812-28812 ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3156-3156 ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2367-2367 Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2365-2365 Immigration and nationality act- section219-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2362-2362 Immigration and nationality act_US is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15328-15328 Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16987-16987 Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3900-3900 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 24414-24414 Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 611-611 Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1655-1655 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 16944-16944 Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5647-5647 Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5844-5844 Graph element is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2736-2736 Hotel package is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15157-15157 Lyrical content is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1552-1552 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 1579-1579 Multipole postulate is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15104-15104 Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29086-29086 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 16952-16952 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 3137-3137 The number 1 argument of document is an instance of proposition
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4407-4407 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 661-661 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 15438-15438 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 720-720 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 692-692 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 694-694 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 791-791 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 17071-17071 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 28829-28829 The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 17079-17079 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 17080-17080 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1368-1368 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 3195-3195 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 8298-8298 The number 1 argument of insured is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Music.kif 1456-1456 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 17047-17047 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 4626-4626 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2982-2982 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 4665-4665 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 4666-4666 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 1680-1680 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 31866-31876
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 3150-3157
No TPTP formula. May not be expressible in strict first order. Geography.kif 3143-3148
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 17148-17154
No TPTP formula. May not be expressible in strict first order. Law.kif 180-188
No TPTP formula. May not be expressible in strict first order. Government.kif 617-625
No TPTP formula. May not be expressible in strict first order. Government.kif 627-635
No TPTP formula. May not be expressible in strict first order. Merge.kif 15600-15605
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2204-2213
No TPTP formula. May not be expressible in strict first order. Economy.kif 2072-2082


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