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 3732-3734
No TPTP formula. May not be expressible in strict first order. Merge.kif 3729-3729 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 3730-3730 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 3727-3727 sub process is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3728-3728 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 55757-55757
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55756-55756

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 527-546
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 496-509
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3965-3990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 511-517
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 519-525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21725-21744
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23525-23531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23533-23539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23541-23548
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Sports.kif 661-669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16894-16906
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 13301-13308
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 15804-15808
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15780-15784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23456-23461
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2146-2159
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2135-2144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8203-8217
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1776-1787
No TPTP formula. May not be expressible in strict first order. Weather.kif 1651-1672

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 718-729 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 30212-30226 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 522-538
No TPTP formula. May not be expressible in strict first order. Music.kif 866-875
No TPTP formula. May not be expressible in strict first order. Merge.kif 12118-12127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 482-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21706-21718
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 23444-23454
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1033-1041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21725-21744
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11618-11626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6003-6014
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3585-3594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21312-21319
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 11893-11902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23515-23523
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9893-9905
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10516-10526
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 2373-2373 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 3.0 is open source software produced by Articulate Software and its partners