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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Formula

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 1430-1431
No TPTP formula. May not be expressible in strict first order. Merge.kif 1428-1428 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 901-901

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5301-5301 The number 2 argument of kappa is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2479-2479 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. emotion.kif 2025-2025 The number 3 argument of attitudeForFormula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2717-2717 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3686-3686 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 3687-3687 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 2489-2489 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 2490-2490 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 3855-3855 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 16282-16282 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 16261-16261 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 2707-2707 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 2522-2522 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 2523-2523 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 3877-3877 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 13822-13822 The number 1 argument of describes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2695-2695 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 7126-7126 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 7096-7096 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 7048-7048 The number 2 argument of expects is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3808-3808 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 3824-3824 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 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 12296-12301
No TPTP formula. May not be expressible in strict first order. Merge.kif 2553-2560
No TPTP formula. May not be expressible in strict first order. Merge.kif 12283-12289
No TPTP formula. May not be expressible in strict first order. Merge.kif 12270-12276
No TPTP formula. May not be expressible in strict first order. Merge.kif 12212-12218
No TPTP formula. May not be expressible in strict first order. Merge.kif 14266-14273
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 712-719
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 721-728
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 3998-4002
No TPTP formula. May not be expressible in strict first order. Merge.kif 12002-12006
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1330-1334
No TPTP formula. May not be expressible in strict first order. Merge.kif 2608-2612
No TPTP formula. May not be expressible in strict first order. Merge.kif 14297-14306
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 4004-4014
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4155-4169
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1336-1347


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