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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalProcess
IntentionalProcess(intentional process)Advent, Christianize, Frenchify, Parousia, Second_Advent, Second_Coming, Second_Coming_of_Christ, abide, ablactate, abort, absorb, abstain, abuse, accept, accidental, accidentally, accommodate, accomplished_fact, accomplishment, accustom, achievement, acoustic_phenomenon, acquit, act, act_on, acting_out, action, activity, actual_possession, actualise, actualize, adapt, address, adhere, adjourn, adjournment, adjust, administration, advisedly, agency, agitate, aim, air, air_out, alcohol_abuse, alcoholic_abuse, alcoholism_abuse, alienation, alignment, allow...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2930-2931
No TPTP formula. May not be expressible in strict first order. Merge.kif 10399-10400
No TPTP formula. May not be expressible in strict first order. Merge.kif 10397-10397 Intentional process is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10078-10078 Autonomic process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17645-17645 Dreaming is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11066-11066 Geological process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10395-10395 Natural process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19330-19330 Trembling is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11073-11073 Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 415-415 The values returned by start are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 429-429 The values returned by stop are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11015-11015 Ambulating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7593-7593 Ceremony is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15331-15331 Commenting is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12439-12439 Content development is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13329-13329 Criminal action is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. WMD.kif 675-675 Deploying weapon of mass destruction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10742-10742 Designing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17423-17423 Digging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. WMD.kif 731-731 Dismantling weapon of mass destruction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 439-439 Dodging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17503-17503 Drilling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12583-12583 Ducking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. engineering.kif 1196-1196 Engineers subprocess is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2488-2488 Evacuation is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11446-11446 Guiding is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. engineering.kif 1309-1309 IT process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10423-10423 Intentional psychological process is a subclass of intentional process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19834-19834 The number 1 argument of occupation is an instance of intentional process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4477-4477 The number 1 argument of FailureFn is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Law.kif 412-412 The number 3 argument of distrusts is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7034-7034 The number 2 argument of enjoys is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20687-20687 The number 2 argument of has occupation is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Economy.kif 1654-1654 The number 2 argument of industry service type is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Economy.kif 1672-1672 The number 2 argument of organization service type is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Law.kif 401-401 The number 3 argument of trusts is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9935-9941
No TPTP formula. May not be expressible in strict first order. Merge.kif 10402-10407
No TPTP formula. May not be expressible in strict first order. Merge.kif 10416-10421
No TPTP formula. May not be expressible in strict first order. Law.kif 574-588
No TPTP formula. May not be expressible in strict first order. Merge.kif 2678-2684
No TPTP formula. May not be expressible in strict first order. Law.kif 621-636
No TPTP formula. May not be expressible in strict first order. Law.kif 602-619
No TPTP formula. May not be expressible in strict first order. Law.kif 563-572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13619-13633
No TPTP formula. May not be expressible in strict first order. Dining.kif 371-382
No TPTP formula. May not be expressible in strict first order. Merge.kif 10409-10414

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29644-29655
No TPTP formula. May not be expressible in strict first order. Merge.kif 11848-11855
No TPTP formula. May not be expressible in strict first order. Dining.kif 665-678
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2309-2319
No TPTP formula. May not be expressible in strict first order. naics.kif 10451-10461
No TPTP formula. May not be expressible in strict first order. Music.kif 1077-1085
No TPTP formula. May not be expressible in strict first order. Music.kif 886-895
No TPTP formula. May not be expressible in strict first order. Merge.kif 2686-2692
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21045-21052
No TPTP formula. May not be expressible in strict first order. WMD.kif 239-244
No TPTP formula. May not be expressible in strict first order. Merge.kif 1030-1036
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1969-1981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25640-25650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26441-26463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20869-20874
No TPTP formula. May not be expressible in strict first order. Media.kif 1336-1350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26067-26073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15946-15952
No TPTP formula. May not be expressible in strict first order. Music.kif 1158-1165


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