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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Formula

Sigma KEE - 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 1549-1550
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 1547-1547 公式句子subclass

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
No TPTP formula. May not be expressible in strict first order. french_format.kif 523-523
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 54-54
No TPTP formula. May not be expressible in strict first order. terms-it.txt 57-57
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2208-2208
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 475-475
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 90-90
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 544-544
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 58-58

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5583-5583 组成类别函数 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2573-2573 表示机率的函数 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 2127-2127 attitudeForFormula 的 3 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2811-2811 相信 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3822-3822 引起主张 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3823-3823 引起主张 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2583-2583 机率 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2584-2584 机率 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3993-3993 赋予规范 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17454-17454 授予执行任务 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17433-17433 赋予权利 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2801-2801 考虑 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1368-1368 containsFormula 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2616-2616 降低可能性 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2617-2617 降低可能性 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4015-4015 剥夺了规范 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16147-16147 describes 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2789-2789 渴望 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7441-7441 不赞成 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7411-7411 疑惑 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 770-770 蕴涵 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 771-771 蕴涵 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 10590-10590 预计 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3946-3946 意图 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3962-3962 主事的意图 的 2 数量 是 公式instance

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 766-772
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 13226-13231
No TPTP formula. May not be expressible in strict first order. Merge.kif 2647-2654
No TPTP formula. May not be expressible in strict first order. Merge.kif 13213-13219
No TPTP formula. May not be expressible in strict first order. Merge.kif 13200-13206
No TPTP formula. May not be expressible in strict first order. Merge.kif 13142-13148
No TPTP formula. May not be expressible in strict first order. Merge.kif 15400-15407
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 12928-12932
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 2702-2706
No TPTP formula. May not be expressible in strict first order. Merge.kif 15431-15440
No TPTP formula. May not be expressible in strict first order. Government.kif 653-661
No TPTP formula. May not be expressible in strict first order. Government.kif 663-671
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 4235-4249
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1140-1151


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