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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1559-1560
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 323-324
No TPTP formula. May not be expressible in strict first order. Merge.kif 1557-1557 Formula is a subclass of sentence

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17055-17055 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 847-847 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. english_format.kif 896-896 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. french_format.kif 523-523 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 54-54 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. terms-it.txt 57-57 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2208-2208 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 475-475 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 90-90 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. terms-de.txt 349-349 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 544-544 The range of premises is an instance of formula
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 58-58 The range of premises is an instance of formula

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5608-5608 The number 2 argument of kappa is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2584-2584 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. emotion.kif 2125-2125 The number 3 argument of attitude for formula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2822-2822 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3835-3835 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 3836-3836 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 2594-2594 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 2595-2595 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 4009-4009 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 17629-17629 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 17608-17608 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 2812-2812 The number 2 argument of considers is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1378-1378 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 2627-2627 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 2628-2628 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 4031-4031 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 17534-17534 The number 1 argument of describes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2800-2800 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 8606-8606 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 8576-8576 The number 2 argument of doubts is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 763-763 The number 1 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 764-764 The number 2 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 10728-10728 The number 2 argument of expects is an instance of formula
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8549-8549 The number 2 argument of fears is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3963-3963 The number 2 argument of has purpose 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 728-734
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 549-556
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 540-547
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 531-537
No TPTP formula. May not be expressible in strict first order. Merge.kif 13380-13385
No TPTP formula. May not be expressible in strict first order. Merge.kif 2658-2665
No TPTP formula. May not be expressible in strict first order. Merge.kif 13367-13373
No TPTP formula. May not be expressible in strict first order. Merge.kif 13354-13360
No TPTP formula. May not be expressible in strict first order. Merge.kif 13296-13302
No TPTP formula. May not be expressible in strict first order. Merge.kif 15553-15560
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 577-584
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 586-593
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 569-575

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3794-3798
No TPTP formula. May not be expressible in strict first order. Merge.kif 13082-13086
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1134-1138
No TPTP formula. May not be expressible in strict first order. Merge.kif 2713-2717
No TPTP formula. May not be expressible in strict first order. Merge.kif 15584-15593
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. UXExperimentalTerms.kif 3800-3810
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4230-4244
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1140-1151


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