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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subProcess

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 10020-10022
No TPTP formula. May not be expressible in strict first order. Merge.kif 10017-10017 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 10018-10018 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 10015-10015 sub process is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 10016-10016 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 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 490-503
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 505-511
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 513-519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21234-21253
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22998-23004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23006-23012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23014-23021
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 16470-16482
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 13196-13203
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 15382-15386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15358-15362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22929-22934
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 7846-7860
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 712-723 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 29674-29688 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 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 12029-12038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 476-488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21215-21227
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 22917-22927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21234-21253
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 11252-11260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5723-5734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20826-20833
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 11804-11813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22988-22996
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 9532-9544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10155-10165
No TPTP formula. May not be expressible in strict first order. emotion.kif 1718-1729
No TPTP formula. May not be expressible in strict first order. emotion.kif 1591-1605
No TPTP formula. May not be expressible in strict first order. emotion.kif 1746-1759

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


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