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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plan
Plan(计划)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3763-3764
No TPTP formula. May not be expressible in strict first order. Merge.kif 16799-16800
No TPTP formula. May not be expressible in strict first order. Merge.kif 16798-16798 计划程序subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21530-21530 饮食计划subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16611-16611 教育计划计划subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1543-1543 运作计划计划subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16640-16640 体育比赛计划subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1234-1234
No TPTP formula. May not be expressible in strict first order. english_format.kif 1689-1689
No TPTP formula. May not be expressible in strict first order. french_format.kif 912-912
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 445-445
No TPTP formula. May not be expressible in strict first order. terms-it.txt 448-448
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2596-2596
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 864-864
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 450-450
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 484-484
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 933-933
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 449-449

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4658-4658 子计划 的 1 数量 是 计划instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4659-4659 子计划 的 2 数量 是 计划instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16802-16810
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10840-10848
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2605
No TPTP formula. May not be expressible in strict first order. Military.kif 25-30
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2754-2763


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