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 10488-10489
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1681-1682
No TPTP formula. May not be expressible in strict first order. Merge.kif 10486-10486 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 10164-10164 Autonomic process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18235-18235 Dreaming is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11191-11191 Geological process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10484-10484 Natural process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19983-19983 Trembling is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11198-11198 Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 422-422 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 436-436 The values returned by stop are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11139-11139 Ambulating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7920-7920 Ceremony is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15882-15882 Commenting is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12671-12671 Content development is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13859-13859 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 10850-10850 Designing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18007-18007 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 446-446 Dodging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18094-18094 Drilling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13118-13118 Ducking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. engineering.kif 1197-1197 Engineers subprocess is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2489-2489 Evacuating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11607-11607 Guiding is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. engineering.kif 1310-1310 IT process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10512-10512 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 20488-20488 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 4514-4514 The number 1 argument of failure fn is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Law.kif 369-369 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 7369-7369 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 21365-21365 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 1643-1643 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 1661-1661 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 358-358 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 336-350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10404-10410
No TPTP formula. May not be expressible in strict first order. Merge.kif 10491-10496
No TPTP formula. May not be expressible in strict first order. Merge.kif 10505-10510
No TPTP formula. May not be expressible in strict first order. Law.kif 526-540
No TPTP formula. May not be expressible in strict first order. Merge.kif 2732-2738
No TPTP formula. May not be expressible in strict first order. Law.kif 573-588
No TPTP formula. May not be expressible in strict first order. Law.kif 554-571
No TPTP formula. May not be expressible in strict first order. Law.kif 515-524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14149-14163
No TPTP formula. May not be expressible in strict first order. Merge.kif 10498-10503

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6447-6459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30242-30253
No TPTP formula. May not be expressible in strict first order. Merge.kif 12046-12062
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12026
No TPTP formula. May not be expressible in strict first order. Dining.kif 711-724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19828-19837
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2336-2346
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 1084-1092
No TPTP formula. May not be expressible in strict first order. Music.kif 889-898
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5215-5224
No TPTP formula. May not be expressible in strict first order. Medicine.kif 441-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 2740-2746
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. Food.kif 2832-2839
No TPTP formula. May not be expressible in strict first order. Merge.kif 1072-1078
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1994-2006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26250-26260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27047-27069
No TPTP formula. May not be expressible in strict first order. Food.kif 319-324
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 26695-26701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16502-16508
No TPTP formula. May not be expressible in strict first order. Music.kif 1165-1172


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