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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

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 3755-3757
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1640-1642
No TPTP formula. May not be expressible in strict first order. Merge.kif 3752-3752 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 3753-3753 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 3750-3750 sub process is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3751-3751 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. french_format.kif 340-340
No TPTP formula. May not be expressible in strict first order. relations-it.txt 277-277
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2096-2096
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 292-292
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 348-348
No TPTP formula. May not be expressible in strict first order. relations-de.txt 752-752
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 314-314
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 362-362
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 377-377
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 469-469
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 55779-55779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55778-55778
No TPTP formula. May not be expressible in strict first order. terms-de.txt 226-226

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 765-784
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 494-507
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3759-3784
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 23418-23437
No TPTP formula. May not be expressible in strict first order. Medicine.kif 610-620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25218-25224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25226-25232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25234-25241
No TPTP formula. May not be expressible in strict first order. Weather.kif 1793-1814
No TPTP formula. May not be expressible in strict first order. Food.kif 1208-1217
No TPTP formula. May not be expressible in strict first order. Sports.kif 674-682
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18438-18450
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 13581-13588
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 17344-17348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17320-17324
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25149-25154
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1940-1953
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1929-1938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9410-9424

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 744-755 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 32216-32230 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 489-501
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 869-878
No TPTP formula. May not be expressible in strict first order. Merge.kif 12394-12403
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 23399-23411
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 25137-25147
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1035-1043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23418-23437
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 13102-13110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6980-6991
No TPTP formula. May not be expressible in strict first order. Food.kif 981-993
No TPTP formula. May not be expressible in strict first order. Food.kif 3206-3218
No TPTP formula. May not be expressible in strict first order. Food.kif 3233-3254
No TPTP formula. May not be expressible in strict first order. Food.kif 96-105
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3599
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23150-23157
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 12108-12117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25208-25216

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 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