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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula(formula)صِيْغَة, Formula, formula, formule, pormula, sUtra, 公式

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1539-1539
No TPTP formula. May not be expressible in strict first order. Merge.kif 1537-1538
No TPTP formula. May not be expressible in strict first order. Merge.kif 1536-1536 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 534-534 "formula" is the printable form of formula in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 523-523 "formule" is the printable form of formula in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 54-54 "sUtra" is the printable form of formula in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 55-55 "Formula" is the printable form of formula in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 475-475 "Formula" is the printable form of formula in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 259-259 "صِيْغَة" is the printable form of formula in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 90-90 "formula" is the printable form of formula in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 58-58 "pormula" is the printable form of formula in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5662-5662 The number 2 argument of kappa is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2718-2718 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. emotion.kif 2019-2019 The number 3 argument of attitudeForFormula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2981-2981 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3914-3914 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 3915-3915 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 2730-2730 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 2731-2731 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 4106-4106 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 17716-17716 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 17690-17690 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 2970-2970 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 2768-2768 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 2769-2769 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 4123-4123 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 13535-13535 The number 1 argument of describes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2956-2956 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 7140-7140 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 7111-7111 The number 2 argument of doubts is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 789-789 The number 1 argument of entails is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 790-790 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 7063-7063 The number 2 argument of expects is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4050-4050 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 4071-4071 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. TravelPolicies.kif 175-181
No TPTP formula. May not be expressible in strict first order. Government.kif 760-766
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 681-688
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 672-679
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 663-669
No TPTP formula. May not be expressible in strict first order. Merge.kif 13062-13067
No TPTP formula. May not be expressible in strict first order. Merge.kif 2803-2810
No TPTP formula. May not be expressible in strict first order. Facebook.kif 608-618
No TPTP formula. May not be expressible in strict first order. Merge.kif 13047-13053
No TPTP formula. May not be expressible in strict first order. Merge.kif 13032-13038
No TPTP formula. May not be expressible in strict first order. Merge.kif 12962-12968
No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15374
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 499-505
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 705-711

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3990-3994
No TPTP formula. May not be expressible in strict first order. Merge.kif 12720-12724
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1332-1336
No TPTP formula. May not be expressible in strict first order. Merge.kif 2864-2868
No TPTP formula. May not be expressible in strict first order. Merge.kif 15401-15410
No TPTP formula. May not be expressible in strict first order. Government.kif 647-655
No TPTP formula. May not be expressible in strict first order. Government.kif 657-665
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3996-4006
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1338-1349
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 456-464
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 466-474


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