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

VerbNet: admire-31.2|tolerate, refrain-69|desist, adjust-26.9|accommodate, adjust-26.9|accommodate, other_cos-45.4|air, other_cos-45.4|air, conjecture-29.5|allow, confront-98|approach, stop-55.4|stop, try-61|attempt, try-61|attempt, avoid-52|avoid, begin-55.1|start, amalgamate-22.2|conflate, marvel-31.3|bother, cheat-10.6|break, separate-23.1|sever, confront-98|breast, admire-31.2|tolerate, acquiesce-95|yield, steal-10.5|capture, other_cos-45.4|centralize, other_cos-45.4|centralize, cope-83|get_through, amalgamate-22.2|conflate, other_cos-45.4|coarsen, force-59|pressure, obtain-13.5.2|collect, amalgamate-22.2|conflate, cope-83|get_through, amalgamate-22.2|conflate, force-59|commission, complete-55.2|complete, other_cos-45.4|centralize, adjust-26.9|accommodate, suspect-81|condemn, judgment-33|excuse, amalgamate-22.2|conflate, confront-98|confront, amalgamate-22.2|confuse, conspire-71|scheme, stop-55.4|stop, continue-55.3|continue, amalgamate-22.2|mate, learn-14|cram, forbid-67|hamper, forbid-67|inhibit, cope-83|deal, other_cos-45.4|decentralize, other_cos-45.4|decentralize, ...


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 9869-9870
No TPTP formula. May not be expressible in strict first order. Merge.kif 9867-9867 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 9577-9577 Autonomic process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15953-15953 Dreaming is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10461-10461 Geological process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9865-9865 Natural process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17767-17767 Trembling is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10468-10468 Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 580-580 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 594-594 The values returned by stop are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10410-10410 Ambulating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7610-7610 Ceremony is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13563-13563 Commenting is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11744-11744 Content development is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11494-11494 Criminal action is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. WMD.kif 670-670 Deploying weapon of mass destruction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10136-10136 Designing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15736-15736 Digging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. WMD.kif 726-726 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 604-604 Dodging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15814-15814 Drilling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10751-10751 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 2469-2469 Evacuation is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10827-10827 Guiding is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. engineering.kif 1308-1308 IT process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9893-9893 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 18229-18229 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 4434-4434 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 7015-7015 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 19051-19051 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 1647-1647 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 1665-1665 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. Merge.kif 9872-9877
No TPTP formula. May not be expressible in strict first order. Merge.kif 9886-9891
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 2633-2639
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 11797-11811
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 9879-9884

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 991-997 An entity is an instance of synthetic substance if and only if there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28423-28434
No TPTP formula. May not be expressible in strict first order. Merge.kif 11205-11212
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 2282-2292
No TPTP formula. May not be expressible in strict first order. naics.kif 10374-10384
No TPTP formula. May not be expressible in strict first order. Music.kif 1076-1084
No TPTP formula. May not be expressible in strict first order. Music.kif 885-894
No TPTP formula. May not be expressible in strict first order. Merge.kif 2641-2647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19418-19425
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. Hotel.kif 1942-1954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24275-24285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25325-25345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19225-19230
No TPTP formula. May not be expressible in strict first order. Media.kif 1340-1354
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24864-24870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14117-14123
No TPTP formula. May not be expressible in strict first order. Music.kif 1157-1164


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