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 1425-1426
No TPTP formula. May not be expressible in strict first order. Merge.kif 1423-1423 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 5291-5291 The number 2 argument of kappa is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2474-2474 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 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 3681-3681 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 3682-3682 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 3850-3850 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 16245-16245 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 16224-16224 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 3872-3872 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 13820-13820 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 7125-7125 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 7095-7095 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 7047-7047 The number 2 argument of expects is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3803-3803 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 3819-3819 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 12276-12281
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 12263-12269
No TPTP formula. May not be expressible in strict first order. Merge.kif 12250-12256
No TPTP formula. May not be expressible in strict first order. Merge.kif 12192-12198
No TPTP formula. May not be expressible in strict first order. Merge.kif 14246-14253
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 11982-11986
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 14277-14286
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 4155-4169
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 3.0 is open source software produced by Articulate Software and its partners