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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Planning
Planning(规划)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2975-2975
No TPTP formula. May not be expressible in strict first order. Merge.kif 10837-10838
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1734-1735
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6772-6772
No TPTP formula. May not be expressible in strict first order. Merge.kif 10835-10835 规划 是 有意图的心理过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16043-16043 编排 是 规划 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1522-1522 运营计划 是 规划 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1107-1107
No TPTP formula. May not be expressible in strict first order. english_format.kif 1431-1431
No TPTP formula. May not be expressible in strict first order. french_format.kif 785-785
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 317-317
No TPTP formula. May not be expressible in strict first order. terms-it.txt 320-320
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2469-2469
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 737-737
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 322-322
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 356-356
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 806-806
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 321-321

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10840-10848

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


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
No TPTP formula. May not be expressible in strict first order. Merge.kif 1470-1475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15993-15999


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