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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula(formula)formula, 公式

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2464-2464
No TPTP formula. May not be expressible in strict first order. Merge.kif 2461-2462
No TPTP formula. May not be expressible in strict first order. Merge.kif 2466-2466
No TPTP formula. May not be expressible in strict first order. Merge.kif 2468-2469
No TPTP formula. May not be expressible in strict first order. Merge.kif 2459-2459 Formula is a subclass of sentence

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 847-847 "公式" is the printable form of formula in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1234-1234 "formula" is the printable form of formula in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 1235-1235 "公式" is the printable form of formula in japanese language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8067-8067 The number 2 argument of kappa is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4168-4168 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. emotion.kif 2019-2019 The number 3 argument of attitudeForFormula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4526-4526 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 5753-5753 The number 1 argument of causes proposition is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 5754-5754 The number 2 argument of causes proposition is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4187-4187 The number 1 argument of conditional probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4188-4188 The number 2 argument of conditional probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 6010-6010 The number 2 argument of confers norm is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 22226-22226 The number 1 argument of confers obligation is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 22200-22200 The number 1 argument of confers right is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4510-4510 The number 2 argument of considers is an instance of formula
No TPTP formula. May not be expressible in strict first order. Law.kif 22-22 The number 2 argument of contains formula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4239-4239 The number 1 argument of decreases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4240-4240 The number 2 argument of decreases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 6032-6032 The number 2 argument of deprives norm is an instance of formula
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13796-13796 The number 1 argument of describes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4488-4488 The number 2 argument of desires is an instance of formula
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7145-7145 The number 2 argument of disapproves is an instance of formula
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7116-7116 The number 2 argument of doubts is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1122-1122 The number 1 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1123-1123 The number 2 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7068-7068 The number 2 argument of expects is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 5930-5930 The number 2 argument of has purpose is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 5962-5962 The number 2 argument of has purpose for agent is an instance of formula

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 760-766
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 680-687
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 671-678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-668
No TPTP formula. May not be expressible in strict first order. Merge.kif 17570-17575
No TPTP formula. May not be expressible in strict first order. Merge.kif 4286-4293
No TPTP formula. May not be expressible in strict first order. Merge.kif 17555-17561
No TPTP formula. May not be expressible in strict first order. Merge.kif 17540-17546
No TPTP formula. May not be expressible in strict first order. Merge.kif 17470-17476
No TPTP formula. May not be expressible in strict first order. Merge.kif 19876-19883
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 713-720
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 722-729
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 704-710

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3989-3993
No TPTP formula. May not be expressible in strict first order. Merge.kif 17228-17232
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1331-1335
No TPTP formula. May not be expressible in strict first order. Merge.kif 4373-4377
No TPTP formula. May not be expressible in strict first order. Merge.kif 19910-19919
No TPTP formula. May not be expressible in strict first order. Government.kif 647-655
No TPTP formula. May not be expressible in strict first order. Government.kif 657-665
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3995-4005
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1337-1348


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners