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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subProcess
subProcess

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2893-2894
No TPTP formula. May not be expressible in strict first order. Merge.kif 10026-10028
No TPTP formula. May not be expressible in strict first order. Merge.kif 10023-10023 子过程 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 10024-10024 子过程 的 2 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 10021-10021 子过程二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 10022-10022 子过程偏序关系instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 573-573
No TPTP formula. May not be expressible in strict first order. english_format.kif 578-578
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 574-574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55754-55754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55753-55753

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 524-543
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 494-507
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3966-3991
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 509-515
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 517-523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21258-21277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23022-23028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23030-23036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23038-23045
No TPTP formula. May not be expressible in strict first order. Weather.kif 1274-1295
No TPTP formula. May not be expressible in strict first order. Sports.kif 593-601
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16494-16506
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 85-91
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 93-99
No TPTP formula. May not be expressible in strict first order. Merge.kif 13202-13209
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1794-1800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15406-15410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15382-15386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22953-22958
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2149-2162
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2138-2147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7850-7864
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1777-1788
No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 716-727 和弦音乐 客体attribute 若且唯若 有存在 过程另一个 过程 这样 那个 客体制作音乐instance那个 过程制作音乐instance那个 另外 过程制作音乐instance那个 过程%n是那个 客体subProcess那个 另外 过程%n是那个 客体subProcess那个 过程equal 那个 另外 过程那个 过程那个 客体 同时发生 和 那个 另外 过程那个 客体 同时发生
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29698-29712 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏instance那个 过程2%n是那个 过程subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏instance那个 过程 causes 那个 过程2
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Music.kif 864-873
No TPTP formula. May not be expressible in strict first order. Merge.kif 12035-12044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 480-492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21239-21251
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 753-763
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 782-790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22941-22951
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1032-1040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21258-21277
No TPTP formula. May not be expressible in strict first order. Catalog.kif 332-347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11256-11264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5727-5738
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3576-3585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20850-20857
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 618-630
No TPTP formula. May not be expressible in strict first order. Merge.kif 11810-11819
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23012-23020
No TPTP formula. May not be expressible in strict first order. Weather.kif 1274-1295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9536-9548
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10159-10169
No TPTP formula. May not be expressible in strict first order. emotion.kif 1710-1721

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2372-2372 民政活动%n是民政运作subProcess


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