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. chinese_format.kif 1682-1682
No TPTP formula. May not be expressible in strict first order. Merge.kif 1428-1429
No TPTP formula. May not be expressible in strict first order. Merge.kif 1426-1426 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 901-901 "formula" is the printable form of formula in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5170-5170 The number 2 argument of kappa is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2473-2473 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. emotion.kif 2024-2024 The number 3 argument of attitudeForFormula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2712-2712 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3560-3560 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 3561-3561 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 2484-2484 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 2485-2485 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 3729-3729 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 16125-16125 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 16104-16104 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 2702-2702 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 2517-2517 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 2518-2518 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 3751-3751 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 13794-13794 The number 1 argument of describes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2690-2690 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 736-736 The number 1 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 737-737 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 3682-3682 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 3698-3698 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 753-759
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 678-685
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 669-676
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-666
No TPTP formula. May not be expressible in strict first order. Merge.kif 12158-12163
No TPTP formula. May not be expressible in strict first order. Merge.kif 2548-2555
No TPTP formula. May not be expressible in strict first order. Merge.kif 12145-12151
No TPTP formula. May not be expressible in strict first order. Merge.kif 12132-12138
No TPTP formula. May not be expressible in strict first order. Merge.kif 12074-12080
No TPTP formula. May not be expressible in strict first order. Merge.kif 14128-14135
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 710-717
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 719-726
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 702-708

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3996-4000
No TPTP formula. May not be expressible in strict first order. Merge.kif 11861-11865
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1328-1332
No TPTP formula. May not be expressible in strict first order. Merge.kif 2603-2607
No TPTP formula. May not be expressible in strict first order. Merge.kif 14159-14168
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. UXExperimentalTerms.kif 4002-4012
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4119-4133
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1334-1345


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