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 9401-9403
No TPTP formula. May not be expressible in strict first order. Merge.kif 9398-9398 The number 1 argument of sub process is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9399-9399 The number 2 argument of sub process is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9396-9396 sub process is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9397-9397 sub process is an instance of partial ordering relation

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 581-581
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 574-574 "子过程" is the printable form of sub process in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55716-55716 "子過程" is the printable form of sub process in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55715-55715 "sub process" is the printable form of sub process in english language

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 518-537
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 675-688
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3961-3986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 691-697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 700-706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19562-19581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21489-21495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21497-21503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21505-21512
No TPTP formula. May not be expressible in strict first order. Weather.kif 902-923
No TPTP formula. May not be expressible in strict first order. Sports.kif 548-556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14604-14616
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 106-112
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 114-120
No TPTP formula. May not be expressible in strict first order. Merge.kif 12374-12381
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1775-1781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13612-13616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13588-13592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21418-21423
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2144-2157
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2133-2142
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1774-1785
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4699-4716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21470-21477

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 926-937 Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28432-28446 A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. Hotel.kif 498-514
No TPTP formula. May not be expressible in strict first order. Music.kif 863-872
No TPTP formula. May not be expressible in strict first order. Merge.kif 11271-11280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 660-672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19543-19555
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 21406-21416
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 977-985
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19562-19581
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3469-3478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19170-19177
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 11046-11055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21479-21487
No TPTP formula. May not be expressible in strict first order. Weather.kif 902-923
No TPTP formula. May not be expressible in strict first order. emotion.kif 1677-1688
No TPTP formula. May not be expressible in strict first order. emotion.kif 1550-1564
No TPTP formula. May not be expressible in strict first order. emotion.kif 1700-1713
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2589-2603
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2607-2623

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 2353-2353 Civil affairs activity is a subprocess of civil affairs operation


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