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 1463-1464
No TPTP formula. May not be expressible in strict first order. Merge.kif 1461-1461 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 896-896

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5350-5350 The number 2 argument of kappa is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2485-2485 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. emotion.kif 2135-2135 The number 3 argument of attitudeForFormula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2723-2723 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3699-3699 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 3700-3700 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 2495-2495 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 2496-2496 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 3870-3870 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 16846-16846 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 16825-16825 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 2713-2713 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 2528-2528 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 2529-2529 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 3892-3892 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 15541-15541 The number 1 argument of describes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2701-2701 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 7091-7091 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 7061-7061 The number 2 argument of doubts is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 735-735 The number 1 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 736-736 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 7022-7022 The number 2 argument of expects is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3823-3823 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 3839-3839 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 682-689
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 673-680
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
No TPTP formula. May not be expressible in strict first order. Merge.kif 12652-12657
No TPTP formula. May not be expressible in strict first order. Merge.kif 2559-2566
No TPTP formula. May not be expressible in strict first order. Merge.kif 12639-12645
No TPTP formula. May not be expressible in strict first order. Merge.kif 12626-12632
No TPTP formula. May not be expressible in strict first order. Merge.kif 12568-12574
No TPTP formula. May not be expressible in strict first order. Merge.kif 14783-14790
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 714-721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 723-730
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 706-712

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4001-4005
No TPTP formula. May not be expressible in strict first order. Merge.kif 12358-12362
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 2614-2618
No TPTP formula. May not be expressible in strict first order. Merge.kif 14814-14823
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 4007-4017
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4199-4213
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 3.0 is open source software produced by Articulate Software and its partners